Alternatives and similar repositories for dancing-links:

Users that are interested in dancing-links are comparing it to the libraries listed below

• tunnelvisionlabs / antlrworks2
  Tunnel Vision Labs' ANTLRWorks 2 IDE
  ☆49Updated 7 years ago
• svn2github / SAT4J
  This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…
  ☆9Updated 7 years ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆109Updated 3 years ago
• cmf / schemely
  Scheme plugin for IntelliJ
  ☆26Updated 13 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated last year
• JustProject / JustVM
  Make JVM Slow Again
  ☆12Updated 8 years ago
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• antlr / antlrworks
  AntlrWorks tool for ANTLR
  ☆98Updated 4 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 8 months ago
• zurl / tparser
  parser that scales -- parser generator in TypeScript
  ☆16Updated 7 years ago
• jansorg / SmarterEditor
  Smarter editor support for the IntelliJ plattform
  ☆9Updated 6 years ago
• parrt / cs345
  CS345 Programming Languages at University of San Francisco
  ☆19Updated 8 years ago
• aclindsa / jnioverhead
  Code to test the raw overhead of a JNI call, as opposed to calling the method from C
  ☆19Updated 13 years ago
• giomasce / mmpp
  Metamath in C++
  ☆11Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last week
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• eclipse-openj9 / openj9-omr
  Eclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR projec…
  ☆38Updated this week
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 11 years ago
• notzippy / JALOPY2-MAIN
  Source code formatter for java
  ☆57Updated 6 months ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• parrt / cs601
  USF CS601 lecture notes and sample code
  ☆56Updated 9 years ago
• sgothel / gluegen
  JNI Glue Code Generator
  ☆91Updated 5 months ago
• nomemory / c-generic-pqueue
  A generic Priority Queue implementation in C using heaps - nothing fancy.
  ☆12Updated 7 years ago