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 last month
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 4 years ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆26Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• RiscInside / LanguageEtudes
  Components of programming languages, all implemented in self-contained files
  ☆9Updated last year
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• elaforge / karya
  music sequencer and generalized notation
  ☆68Updated 2 months ago
• JeffreyBenjaminBrown / monome
  ☆17Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 10 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 7 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• adkelley / purescript-webaudio
  A PureScript wrapper around the HTML5 Web Audio API
  ☆8Updated 2 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• habit-lang / alb
  ☆39Updated 9 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• newlandsvalley / purescript-school-of-music
  Port of the Haskell School of Music to Purescript
  ☆21Updated 3 months ago
• Simre1 / lambdasound
  A Haskell libary for generating low-level sounds with high-level combinators.
  ☆15Updated 7 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆57Updated 4 years ago
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated 9 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated 2 months ago
• haskellari / some
  Existential type.
  ☆37Updated 4 months ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated 11 months ago