Alternatives and similar repositories for langproc_2015_cw

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

• m8pple / arch2-2016-cw
  ☆10Updated 8 years ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆439Updated last week
• themotte / tildes
  ☆11Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• szynwelski / nlambda
  Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…
  ☆12Updated 9 months ago
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 5 years ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆597Updated 8 months ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆305Updated 2 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆454Updated last year
• clash-lang / clash-compiler
  Haskell to VHDL/Verilog/SystemVerilog compiler
  ☆1,522Updated last week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆378Updated 6 months ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆988Updated this week
• DimaSamoz / mezzo
  A Haskell library for typesafe music composition
  ☆364Updated 6 years ago
• snowleopard / alga
  Algebraic graphs
  ☆740Updated last week
• achlipala / frap
  Formal Reasoning About Programs
  ☆690Updated last year
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆348Updated 7 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• bowald / chs-exam-statistics
  ☆30Updated 6 years ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,874Updated this week
• nh2 / call-haskell-from-anything
  Call Haskell functions from any programming language via serialization and dynamic libraries
  ☆396Updated 3 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,252Updated last week
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆796Updated last year
• agda / agda-stdlib
  The Agda standard library
  ☆619Updated this week
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆14Updated this week
• statebox / awesome-applied-ct
  ACT community resources
  ☆468Updated 5 years ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆493Updated this week
• dry-python / returns
  Make your functions return something meaningful, typed, and safe!
  ☆4,009Updated this week
• i-am-tom / holmes
  A reference library for constraint-solving with propagators and CDCL.
  ☆306Updated last year
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆749Updated 2 weeks ago