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
variational
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 Configurationfilter-agda-dependency-graph
deltas
sugarj
Library-based Language ExtensibilityLove Open Source and this site? Check out how you can help us