HigherOrderCO / Kindex

Related projects: ⓘ

• HigherOrderCO / Kind2-Before-Merge
  ☆99Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆105Updated 7 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆58Updated last week
• HigherOrderCO / Functional-Benchmarks
  ☆29Updated this week
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆114Updated last year
• HigherOrderCO / Manifesto
  ☆98Updated this week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆273Updated last week
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆122Updated 2 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆40Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆64Updated 7 years ago
• VictorTaelin / HOC
  ☆33Updated this week
• HigherOrderCO / Software-Foundations-In-Kind
  ☆16Updated this week
• HigherOrderCO / hvmcc
  ☆13Updated this week
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• VictorTaelin / Formality
  ☆38Updated 3 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆137Updated 3 weeks ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 9 months ago
• VictorTaelin / bend_program_search_example
  A simple example on how Bend could be used to accelerate program search in a near future
  ☆16Updated 2 months ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• HigherOrderCO / Class
  ☆23Updated this week
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆33Updated 2 weeks ago
• HigherOrderCO / monobook
  AGDA
  ☆22Updated this week
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆72Updated 5 years ago
• Kindelia / Explorer
  ☆11Updated this week
• uwutech / Kind
  A modern proof language
  ☆8Updated 3 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• steinerkelvin / rustie-ts
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆10Updated 4 months ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆27Updated 5 months ago
• anoma / geb
  A Categorical View of Computation
  ☆28Updated this week
• gelisam / klister
  an implementation of stuck macros
  ☆130Updated 2 weeks ago