Python backend for Idris (generates Python source, not bytecode).

Python back-end for Idris Goodies expressions in tail positions return directly if-elif sequences optimised not doing comparison if it's clear which branch to take single-branch trees turned into asser

Related Repos

jplana python-etcd documentation A python client for Etcd Official documentation: Installation Pre-requirements This version of python-et

amitt001 Subprocesses for Humans 2.0.

MasterGroosha Solid Dark Theme for Telegram Desktop, Android and MacOS This repo contais some Solid Dark themes for Telegram Desktop, Android (with X) and MacOS. Don't forget to Subscribe to @SolidDarkTheme channel to get news and updates ;)

mazen160 server-status PWN A script that monitors and extracts requested URLs and clients connected to the service by exploiting publicly accessible Apache server-status instances What is Apache server-status? Apache

iocage iocage A FreeBSD jail manager iocage is a jail/container manager amalgamating some of the best features and technologies the FreeBSD operating system has to offer. It is geared for ease of use with a simple and

RoliSoft Windows Subsystem for Linux Distribution Switcher The purpose of this project is to let you easily download and install new Linux distributions under Windows Subsystem for Linux and seamlessly switch between them. The rootfs arc

metrix-frs Baresto PureScript UI of the regulatory reporting software Baresto. First Setup Install Node.js Preferably via NVM: $ curl -o- | bash

semaaJ This project originally started when I noticed that if Trump mentioned a company within his tweets, their shares would either go up in price if the tweet was positive or drop if the tweet was negative.