HigherOrderCO / Class

Related projects: ⓘ

• Kindelia / Explorer
  ☆11Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 4 months ago
• HigherOrderCO / Kind2-Before-Merge
  ☆99Updated this week
• HigherOrderCO / Software-Foundations-In-Kind
  ☆16Updated this week
• HigherOrderCO / monobook
  AGDA
  ☆22Updated this week
• VictorTaelin / taemoba
  ☆13Updated 7 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated 8 months ago
• steinerkelvin / rustie-ts
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆10Updated 4 months ago
• HigherOrderCO / Functional-Benchmarks
  ☆29Updated this week
• EduardoRFS / youtube-channel
  ☆48Updated last year
• VictorTaelin / kind-ai
  ☆23Updated last year
• VictorTaelin / HOC
  ☆33Updated this week
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆31Updated 6 months ago
• the-sofi-uwu / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated 9 months ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆56Updated 7 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆105Updated 7 months ago
• o-santi / functional-structures
  my studies through functional implementations of common data-structures
  ☆9Updated 2 years ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆41Updated last month
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆19Updated last year
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 2 years ago
• matteo-meluzzi / agda2hvm
  ☆13Updated last year
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• algebraic-sofia / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆13Updated 2 years ago
• EduardoRFS / not-named-yet
  ☆33Updated this week
• HigherOrderCO / hvmcc
  ☆13Updated this week
• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated 2 months ago
• marigold-dev / deku
  ☆80Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆18Updated 4 months ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated last year
• EduardoRFS / thoughts
  ☆22Updated last year