There are no reviews yet. Be the first to send feedback to the community and the maintainers!
well-typed-agda-interpreter
A well typed interpreter for the simply-typed lambda calculus written in Agdadesc-n-crunch
Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.numpyro_stein
qsort-inline
Apple's qsort implementation with support for inlined comparison (by macros)fflat-mdsliterals
Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)2019-meetup-pyro-intro
Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019fflat
The Fb programming languageagda-moddom
Modular Domains in AgdaMSc-Thesis
MSc Thesis on practical levitationjax-dy
micro-dsl-properties
Micro DSLs and propertieshaskell-transformations
Tools-and-tactics-for-Idris---report
Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for inductionparseltongue
A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)Rascal-Light
Implementation of Rascal Light and Rabit - Static Analyzer for Rascal LightLove Open Source and this site? Check out how you can help us