na0214 / linear-lambda-calculus

Related projects ⓘ

Alternatives and complementary repositories for linear-lambda-calculus

• raviqqe / ssf
  Structurally-typed strict functional core language
  ☆19Updated this week
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆25Updated 2 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆56Updated 5 years ago
• Nymphium / ruff
  ONE-SHOT Algebraic Effects for Ruby!
  ☆22Updated 4 years ago
• ein-lang / ein
  The functional programming language for scalable development
  ☆34Updated last year
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated this week
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• takahisa / finale
  Invertible syntax for OCaml
  ☆30Updated 5 years ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 years ago
• hcarty / ppx_defer
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16Updated 2 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 8 months ago
• na0214 / snail
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆12Updated 3 years ago
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated 4 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 10 months ago
• qnighy / logic-solver-rs
  ☆45Updated last year
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 2 weeks ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 3 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• gfngfn / apbuf
  Algebraic protocol buffers
  ☆13Updated 3 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 4 years ago
• malgo-lang / malgo
  A statically typed functional programming language.
  ☆41Updated 2 weeks ago
• smlsharp / mlpractice-book
  Supplemental materials for the book entitled "Practical ML Programming with SML#"
  ☆11Updated 3 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆31Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• ksrky / type-inference
  Type inference algorithms for functional programming languages
  ☆10Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago