Kindelia / Explorer

Related projects: ⓘ

• HigherOrderCO / Class
  ☆23Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 4 months ago
• VictorTaelin / HOC
  ☆33Updated this week
• HigherOrderCO / Kind2-Before-Merge
  ☆99Updated this week
• HigherOrderCO / Software-Foundations-In-Kind
  ☆16Updated this week
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆56Updated 7 years ago
• VictorTaelin / kind-ai
  ☆23Updated last year
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 2 years ago
• MaiaVictor / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆35Updated 5 years ago
• DocuDroid / DocuDroid-worms-repo
  Tech Writing bot at your service 🤖
  ☆13Updated last year
• marigold-dev / deku
  ☆80Updated last year
• VictorTaelin / taemoba
  ☆13Updated 7 months ago
• HigherOrderCO / Functional-Benchmarks
  ☆29Updated this week
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated last year
• LeonardsonCC / fantom-kittens-gallery
  A simple gallery for Fantom Kittens
  ☆16Updated 2 years ago
• EduardoRFS / youtube-channel
  ☆48Updated last year
• HigherOrderCO / Manifesto
  ☆98Updated this week
• MarcoWorms / defi-crash-course
  A summarized version of the Finematics Guide to Decentralized Finance
  ☆50Updated last year
• matteo-meluzzi / agda2hvm
  ☆13Updated last year
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• lambda-study-group / lambda-study-group.github.io
  Repo principal do lambda study group :)
  ☆33Updated 6 months ago
• steinerkelvin / rustie-ts
  Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
  ☆10Updated 4 months ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 2 years ago
• fakenickels / fantom-kittens
  KITTEN BUSINESS IS SERIOUS BUSINESS
  ☆126Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated 8 months ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• anabastos / lang-brackets
  🥊Choose your favorite programming languages
  ☆22Updated 6 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆264Updated last year
• terremoth / peoplejs
  A Free-Software JavaScript Library made by people for the people!
  ☆10Updated 4 years ago
• HigherOrderCO / monobook
  AGDA
  ☆22Updated this week