ajrouvoet Goto Github PK

agda-stdlib

The Agda standard library

airbenders

Airbenders Hackaton project

ajrouvoet.github.io

apoml.kt

An industrial-strength calculator language with the flexibility of greek yoghurt

arx.hs

Haskell tool to help me manage my photo archive

browser-config

bumper.kt

A C frontend for the JVM, written in Kotlin.

chesshire.re

django-websocket-redis

Websockets for Django applications using Redis as message queue

dummy

Test results management framework

dunst-config

emacs.el

exec-path-from-shell

Make Emacs use the $PATH set up by the user's shell

finite

hackaton

i3-config

implicits.agda

Mechanized formalization of Implicit resolution in Agda

jvm.agda

Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda

minijava-scala

A minijava compiler written in Scala

minisat-spfs

A minimalistic and high-performance SAT solver implementing Symmetry Propagation

nixpkgs

Nix Packages collection

nvimsime

An amateur's attempt to do some vim sbt-integration

oh-my-zsh

oplss-scratchpad

positron-bar

Electron bar for your linux desktop!

python-trsfile

Add support for reading and writing of trace set files (.trs) to Python

pythonchallenge.rust

www.pythonchallenge.com

ranger-config

react-redux

Official React bindings for Redux

redux-api-middleware

Redux middleware for calling an API.