Alternatives and similar repositories for penpa-edit:

Users that are interested in penpa-edit are comparing it to the libraries listed below

• wickedchicken / ocaml_skeleton
  A basic OCaml project with unit tests
  ☆66Updated 5 years ago
• kev009 / craftd
  kev009 development repo. Canonical repo @ craftd/craftd (see project URL)
  ☆75Updated 13 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• swaroopg92 / penpa-edit
  Web application to create and solve Sudokus and Puzzles
  ☆116Updated last month
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• BruceJillis / fp.py
  Compiler and interpreter for a miranda-like functional language in Python.
  ☆12Updated 13 years ago
• mgiles / fit
  FIT file decoder
  ☆20Updated 8 years ago
• tfausak / octane
  Parse Rocket League replays.
  ☆39Updated 7 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• 0xNF / lawsofinsidertrading.com
  Matt Levine's Laws of Insider Trading, webified
  ☆47Updated last year
• bjpop / berp
  An implementation of Python 3
  ☆313Updated 9 years ago
• lukechampine / slouch
  A competitive programming language (WIP -- MAY CONTAIN HIDEOUS CODE)
  ☆27Updated 3 months ago
• hamishmack / ghcjs
  Haskell to Javascript compiler (via GHC)
  ☆20Updated 5 years ago
• jgoerzen / configfile
  Config file parsing/writing [Haskell]
  ☆15Updated 2 months ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• tibru / tibru
  An alternative to Urbit
  ☆93Updated 7 years ago
• cgyarvin / urbit
  Urbit: an operating function
  ☆95Updated 7 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆123Updated 4 years ago
• mietek / mit-cadr-system-software
  Mirror of MIT CADR Lisp machine system software
  ☆23Updated 6 years ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆122Updated 3 weeks ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 8 months ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆29Updated 6 years ago
• joebo / microj
  ☆14Updated 6 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆120Updated 3 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 3 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 7 years ago
• janestreet / iron
  Jane Street code review system
  ☆169Updated 5 years ago