Rizo I's repositories
ppx_lambda
Simplified lambda syntax extension for OCaml.
awesome-awesomeness
A curated list of awesome awesomeness
awesome-python
A curated list of awesome Python frameworks, libraries and software.
dxf2svg2kicad
DXF to SVG to KICAD_PCB converter webapp that runs purely on the client side
BipsMotion
An experiment for animated trajectory drawing.
Logic.jl
Simple collection of utilities to express logic entities and perform basic operation with them.
idris-graph
Minimal graph model implementation in Idris.
lambda-lab
Personal experiments with functional programming – design, abstractions, monads, functors, and other hallucinogenic constructs.
guard
Guard is a command line tool to easily handle events on file system modifications.
racket-resources
A collection of learning materials on Racket language.
cocoa-resources
A collection of learning materials for Apple Cocoa framework.
kardan-d
Kardan can create a development environment for the D programming language.
mosquitto-d
Mosquitto port to Dlang
cassandra-d
D language cassandra client
denv
D version of rbenv
guitar-py
GUI Tool for Automata Representation
django
The Web framework for perfectionists with deadlines.
nnpy
cffi-based Python bindings for nanomsg
mosquitto-auth-cassandra
An Apache Cassandra authentication plug-in for Mosquitto.
motion-elements
MotionElemens Website
How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
dconf.org
D Conference website
crystal
The Crystal Programming Language
WDI
Web Development Interface
so-simple-theme
A simple and clean responsive Jekyll theme for words and photos.
Dgraph
Graph library written in D.
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)