Alternatives and similar repositories for OpusSolver:

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

• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆79Updated 5 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• QuestForTetris / tetris-writeup
  A place to draft the answers for the tetris PPCG challenge
  ☆31Updated 7 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• justarandomgeek / FactorioIP
  Packet Based networks for Factorio, with IPv6 support
  ☆52Updated last week
• jaksi / advent-of-other-peoples-code
  Fetches random solutions to a specified Advent of Code puzzle from GitHub and runs them against your input
  ☆78Updated 6 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆19Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 3 years ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆102Updated 3 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• ForgottenArbiter / SeedSearch
  A mod that searches through Slay the Spire seeds.
  ☆47Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• egonSchiele / dominion
  A Dominion simulator in Haskell
  ☆111Updated 8 years ago
• machine-intelligence / arbital-open-source
  Open source code for Arbital
  ☆14Updated 6 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆24Updated 2 years ago
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 9 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 4 years ago
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆54Updated 7 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆43Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 6 months ago
• djvelleman / HTPILeanPackage
  ☆28Updated 2 months ago
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 8 years ago