ergawy / types-and-programming-languages

Related projects ⓘ

Alternatives and complementary repositories for types-and-programming-languages

• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆62Updated 5 months ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• kammerdienerb / bJou
  Compiler for the bJou programming language
  ☆28Updated 4 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 5 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆39Updated 3 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆38Updated 2 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆72Updated 4 years ago
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆30Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆60Updated 3 years ago
• bourguet / operator_precedence_parsing
  C89 expressions parsed with the shunting yard algorithm in Python
  ☆74Updated 4 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆49Updated 2 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated 3 months ago
• nikodemus / foolang
  A toy programming language.
  ☆37Updated 10 months ago
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆32Updated 2 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago