anna099 / hegel

Related projects ⓘ

Alternatives and complementary repositories for hegel

• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 2 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆19Updated last month
• tmpim / ltml
  A simple and concise templating engine that takes advantage of elegant Lua syntax.
  ☆10Updated last year
• VictorTaelin / absal-ex
  Absal ex
  ☆55Updated last year
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated 11 months ago
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated 10 months ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆21Updated last month
• GuillermoCalderon / ProjectiveGeometryInAgda
  A formalization of Constructive Projective Geometry in Agda
  ☆12Updated 5 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆24Updated 2 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 5 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• djvelleman / HTPILeanPackage
  ☆24Updated 2 months ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 2 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated last year
• tilk / vocoder
  Phase vocoder in Haskell
  ☆16Updated 3 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 6 months ago