Beast code in Giters

name's repositories

minimips

minikanren mips assembler/disassembler

Language:SchemeGPL-2.029 5 1

scm--js

scm->js

Language:JavaScriptGPL-3.022 3 1

microKanren-sagittarius

microKanren sagittarius/larceny

Language:SchemeMIT11 4 3

match-sagittarius

pattern matching system for sagittarius R7RS scheme

Language:SchemeMIT5 3 1

x86-asm-practice

Language:AssemblyGPL-2.05 2 1

cozy-cub

cozy cub

Language:ShellLGPL-3.04 20

up

Language:CGPL-2.0300

and-all-that

term rewriting

Language:SchemeGPL-3.02 30

urweb-file

save a file to the disk

Language:CGPL-3.02 30

nb

note book

Language:HTMLAGPL-3.01 20

puf

scheme persistent union find

Language:SchemeGPL-2.01 30

urweb-beginners

example code to learn urweb

GPL-2.01 20

usokoban

Language:CGPL-3.01 20

absint-study

working through absint notes

Language:HaskellGPL-2.0020

contextscript

Scripts for any situation

Language:CoffeeScriptNOASSERTION020

corebird

Native Gtk+ Twitter Client

Language:ValaGPL-3.0020

cryptographer.py

A program to encrypt text files.

Language:PythonGPL-2.0020

dotfiles

Language:Emacs Lisp020

easyloggingpp

Language:C++NOASSERTION020

erl

erlang bot

Language:ErlangGPL-2.0030

firefox-debloat

Stop Firefox leaking data about you

MIT020

JLambda

Language:HaskellGPL-2.0030

lotus

STLC compiler in haskell

Language:HaskellGPL-2.0020

microKanren

The implementation of microKanren, a featherweight relational programming language

Language:Scheme020

orchid-hybrid.github.io

The Jekyll Butler.

Language:CSSNOASSERTION030

scheme-anagrams

generate anagrams using a trie

Language:SchemeGPL-2.0020

SF

supreme fascist

Language:Coq02 1

sha256base58

Language:CBSD-3-Clause020

un

uncompressor

Language:SchemeGPL-2.0000

vtop

Wow such top. So stats. More better than regular top. Written in node.js

Language:JavaScriptMIT020