steshaw / playgroundLinks
👨🏻🎓 Playground for learning programming languages
☆25Updated 2 months ago
Alternatives and similar repositories for playground
Users that are interested in playground are comparing it to the libraries listed below
Sorting:
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- A Hello World program in Coq.☆17Updated 3 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- ☆84Updated 7 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 8 years ago
- A book on programming languages, using Haskell☆165Updated 4 years ago
- Course on Metaprogramming☆63Updated this week
- Summer school on programming in Agda☆68Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- SKI combinators☆55Updated 8 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Examples from the class CMSC 330 during Summer 2015☆48Updated 9 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆51Updated 2 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago