hmac / kite

Related projects ⓘ

Alternatives and complementary repositories for kite

• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 6 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆36Updated 4 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• thma / srv
  srv is a tiny web server for local deployments
  ☆9Updated last year
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated 9 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated last month
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• dhall-lang / dhall-nethack
  Generate NetHack configurations using Dhall
  ☆36Updated 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago