There are no reviews yet. Be the first to send feedback to the community and the maintainers!
pts
Interpreter for functional pure type systems.pandoc-lit
Connecting pandoc to lhs2tex for literate programming.gll
lift.pts
Constructive lift monad in System FΟstlc.scala
Modular implementation of simply-typed lambda calculi in Scala.pl-impl
papercraft-dungeon-generator
circular
A variant of Ξ»*.pathfinder2-cards
Playing cards for Pathfinder 2 items etc.Grammarkov
Random text generation.latex-styles
A collection of *.sty and *.bst files for use with academic papers written in LaTeX.racket-config
My DrRacket Configurationtime-series
Analyze time series to compute min and max values in rolling window.filter-agda-dependency-graph
deltas
Love Open Source and this site? Check out how you can help us