Mathnerd314 / stroscot

Related projects ⓘ

Alternatives and complementary repositories for stroscot

• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆13Updated 3 years ago
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 weeks ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 14 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆32Updated 2 weeks ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 3 months ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 2 years ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆10Updated 5 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated last year
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 6 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 5 years ago