mariari

Pinned Repositories

alucard
A common lisp DSL for writing zero knowledge circuits
Language:Common Lisp18 4 311
geb
A Categorical View of Computation
Language:Idris28 20 4310
bindle
An applicative module functor implementation in CL
Language:Common Lisp3 2 00
Interaction
easy prototype for an interaction net
Language:Haskell7 3 00
kaleidoscope-LLVM8
Language:Haskell7 3 02
Misc-GT-Scripts
Language:Smalltalk0 1 00
Misc-Lisp-Scripts
Language:Common Lisp13 2 01
Misc-ML-Scripts
Various ideas in OCaml, Haskell, and F*
Language:Haskell9 1 02
Misc-Stack-Scripts
Various scripts in Forth and Factor
Language:Factor3 2 00
vomitchan
*cheek pinch*
Language:Haskell7 1 34

mariari's Repositories

mariari/Interaction
easy prototype for an interaction net
Language:Haskell7 3 00
mariari/bindle
An applicative module functor implementation in CL
Language:Common Lisp3 2 00
mariari/Tiger-Compiler
Language:Haskell3 1 01
mariari/advent-of-code-2018
My solutions to advent of code 2018 in OCaml
Language:OCaml0 0
mariari/computer-vision-531-work
Language:TeX0 0
mariari/Curry-Lisp
Language:Common Lisp0 0
mariari/Haskell-391-Solution
Solutions to various problems
Language:Common Lisp0 0
mariari/Java-ish-Interpreter
An Interpreter written in Racket for a Java Like Language
Language:Scheme0 0
mariari/Misc-Java-Code
A collection of Java code I've created
mariari/misc-snarky-scripts
A collection of Snarky scripts, still a WIP
0 0
mariari/ProjectEuler
Language:Haskell0 0
mariari/snarky
OCaml DSL for verifiable computation
Language:HTML0 0