Alternatives and similar repositories for cf

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

• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 6 months ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated last year
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 6 months ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• mattjquinn / jcompiler
  A compiler for the J programming language
  ☆32Updated 10 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆34Updated 5 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆22Updated 3 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆37Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 9 years ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆36Updated 5 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆34Updated 5 years ago
• droyo / APL
  UTF8 APL interpreter
  ☆24Updated 8 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated last year
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆44Updated last year