Alternatives and similar repositories for octune:

Users that are interested in octune are comparing it to the libraries listed below

• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated this week
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 4 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• faulhornlabs / csip
  ☆20Updated last week
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 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 10 months ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated 7 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 11 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• habit-lang / alb
  ☆39Updated 7 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• newlandsvalley / purescript-school-of-music
  Port of the Haskell School of Music to Purescript
  ☆22Updated last month
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• Simre1 / lambdasound
  A Haskell libary for generating low-level sounds with high-level combinators.
  ☆15Updated 5 months ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 2 months ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated 2 weeks ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• haskellari / some
  Existential type.
  ☆37Updated 3 months ago
• adkelley / purescript-webaudio
  A PureScript wrapper around the HTML5 Web Audio API
  ☆8Updated 2 years ago
• hurryabit / pukeko
  A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
  ☆25Updated 9 months ago
• shapr / trynocular
  lazy generators with observation
  ☆14Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 7 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆55Updated 3 years ago