Alternatives and similar repositories for OpusSolver:

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

• coolwanglu / quine-chameleon
  Dancing Quine Chameleon
  ☆41Updated 9 years ago
• ConorOBrien-Foxx / Pyramid-Scheme
  A pyramidic language
  ☆48Updated 4 years ago
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆79Updated 5 years ago
• QuestForTetris / tetris-writeup
  A place to draft the answers for the tetris PPCG challenge
  ☆31Updated 7 years ago
• JonasJurczok / faketorio
  Run automatic tests for your mod inside Factorio
  ☆21Updated 5 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• Timwi / HexagonyColorer
  This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.
  ☆47Updated 9 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆40Updated 3 weeks ago
• 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
  ☆180Updated 3 years ago
• La-Lojban / sutysisku
  la sutysisku dictionary for Lojban and more
  ☆36Updated 9 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• pirindiel / llull
  A program with no practical utility
  ☆24Updated 8 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆88Updated 3 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• egonSchiele / dominion
  A Dominion simulator in Haskell
  ☆111Updated 8 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆26Updated last month
• lexi-lambda / lexi-lambda.github.io
  ☆32Updated 2 years ago
• lojban / ilmentufa
  ☆51Updated last month
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• Krasjet / karasu
  A self-hosted remote communication system designed for math discussions.
  ☆39Updated 4 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆24Updated last year
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆52Updated 7 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year