Alternatives and similar repositories for penpa-edit:

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

• swaroopg92 / penpa-edit
  Web application to create and solve Sudokus and Puzzles
  ☆117Updated 2 months ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆432Updated 7 years ago
• pengi / adventofcode
  My advent of code solutions - https://adventofcode.com
  ☆21Updated 4 months ago
• wickedchicken / ocaml_skeleton
  A basic OCaml project with unit tests
  ☆66Updated 5 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 7 years ago
• leonidas / codeblog
  ☆293Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• srstafford1996 / kbd-trainer
  ☆12Updated last month
• RoganMurley / GALGAGAME
  GALGA: Multiplayer card game written in Haskell and Elm.
  ☆136Updated this week
• Ezandora / Guide
  Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.
  ☆29Updated last year
• lukechampine / slouch
  A competitive programming language (WIP -- MAY CONTAIN HIDEOUS CODE)
  ☆31Updated 4 months ago
• tfausak / octane
  Parse Rocket League replays.
  ☆39Updated 7 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 6 months ago
• topaz / aoc2019-intcode
  Intcode compiler and samples from Advent of Code 2019
  ☆108Updated 4 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 3 weeks ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• amuletml / amulet
  An ML-like functional programming language
  ☆333Updated 3 years ago
• mdayaram / calendar2020
  A simple calendar for 2020.
  ☆79Updated 2 years ago
• tonymorris / java-trivia
  Java trivia questions
  ☆67Updated 4 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• abrudz / APL386
  A New APL385 Unicode
  ☆118Updated last month
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆228Updated 4 months ago
• daoudclarke / wartonlegacy
  Algorithms for factorisation of large numbers in Fortran and UBASIC
  ☆152Updated 5 years ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆288Updated 7 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated this week
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• glguy / advent2016
  ☆12Updated 3 years ago