dhilst

brlang

A linguagem dos memes

lis.py

Small lisp interpreter in Python

geckones_twitter_bots

I ❤️ 🤖

lampy3

yet another try to make a functional python

small

yet another script language

lampy

Lambda calc in Python 3

chartme

Plot output of command line directly to browser, live!

dezmil

Financial assistant

dhilst

personal configuration

dhilst.github.io

Personal blog

gkoeditor

rinhacompiler

rlambda

Right associative application lambda calculus in python

batchfilter

Save image filter presets and apply in batch to bulk of images.

coq-io-hello-world

A Hello World program in Coq.

coq-io-io

A library for effects in Coq.

coq-of-ocaml

Formal verification of OCaml programs

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

lexbuflab

testing stuff with lexbuf

mlisp

myproj

oauth2example

Example code using django + django-oauth-toolkit and django-middleware-cors.

orange3-example-addon

Example Addon for Orange3

pfpy

ppxexmaple

rinha-de-compiler

🥖 | Rinha de compiladores (ou interpretadores kkkk

unbound-module-ocaml

unify2-

first order unification in ocaml (study)

yojson

Low-level JSON parsing and pretty-printing library for OCaml

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.