Pinned Repositories
alucard
A common lisp DSL for writing zero knowledge circuits
geb
A Categorical View of Computation
bindle
An applicative module functor implementation in CL
Interaction
easy prototype for an interaction net
kaleidoscope-LLVM8
Misc-GT-Scripts
Misc-Lisp-Scripts
Misc-ML-Scripts
Various ideas in OCaml, Haskell, and F*
Misc-Stack-Scripts
Various scripts in Forth and Factor
vomitchan
*cheek pinch*
mariari's Repositories
mariari/Misc-Lisp-Scripts
mariari/Misc-ML-Scripts
Various ideas in OCaml, Haskell, and F*
mariari/vomitchan
*cheek pinch*
mariari/Misc-Stack-Scripts
Various scripts in Forth and Factor
mariari/emacs
My Horrible Emacs Config
mariari/Stumpwm-config
Personal Stump-WM config
mariari/Misc-GT-Scripts
mariari/exdoc-page-test
https://mariari.github.io/exdoc-page-test/readme.html
mariari/factor
Factor programming language
mariari/gt4petitparser2
Glamorous Toolkit for PetitParser2
mariari/gtoolkit-demos
A collection of ready to run demos of Glamorous Toolkit.
mariari/gtoolkit-inspector
The moldable Inspector.
mariari/index-set
A sparse bit set Rust crate
mariari/juvix-stdlib
The Juvix standard library
mariari/kino
Client-driven interactive widgets for Livebook
mariari/lepiter
mariari/lurk
Lisp implementation of Lurk.
mariari/mariari.github.io
mariari/Misc-Assembly-Scripts
mariari/Misc-C-Scripts
mariari/Misc-OTP-Scripts
A mixture of Elixir and Erlang Programs
mariari/Misc-Smalltalk-Scripts
mariari/misc-urbit-scripts
mariari/mnesia_rocksdb
A RocksDB backend plugin for mnesia, based on mnesia_eleveldb
mariari/Narn
mariari/pasta_curves
Rust implementation for zcash/pasta
mariari/petitparser2
A high-performance top-down parser
mariari/SLASHEM-Extended
SLASH'EM Extended (a SLASH'EM fork)
mariari/SmaCC
mariari/Xmonad-Config
My Xmonad Configuration with Stack