HigherOrderCO / kind

Related projects: ⓘ

• HigherOrderCO / hvm-64
  ☆496Updated 3 months ago
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆755Updated last month
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆273Updated last week
• VictorTaelin / Interaction-Type-Theory
  ☆105Updated 7 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆366Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆58Updated last week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 4 months ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
  ☆398Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,111Updated 2 months ago
• s-arash / ascent
  logic programming in Rust
  ☆387Updated 2 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆639Updated this week
• MPLLang / mpl
  The MaPLe compiler for efficient and scalable parallel functional programming
  ☆320Updated this week
• HigherOrderCO / Kind2-Before-Merge
  ☆99Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆744Updated this week
• SaberVM / SaberVM
  ☆197Updated 2 months ago
• azdavis / millet
  A language server for Standard ML.
  ☆207Updated 2 weeks ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆315Updated this week
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆586Updated 2 months ago
• stefan-hoeck / idris2-tutorial
  ☆190Updated last month
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆137Updated 3 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆164Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆41Updated last month
• kindelia / Kindelia
  An efficient, secure cryptocomputer
  ☆604Updated 9 months ago
• egraphs-good / egglog
  egraphs + datalog!
  ☆417Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆334Updated this week
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆165Updated 3 weeks ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆206Updated 7 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆325Updated this week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,113Updated this week