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
  ☆48Updated 7 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 2 months ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆42Updated 4 months ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 10 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆22Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 weeks ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 5 months ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆29Updated 8 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago