robostac / coders-strike-back-referee

Related projects ⓘ

Alternatives and complementary repositories for coders-strike-back-referee

• Eliah-Lakhin / papa-carlo
  Constructor of incremental parsers in Scala
  ☆447Updated 3 years ago
• nbros / OcaIDE
  An OCaml plug-in for Eclipse
  ☆37Updated 8 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 9 years ago
• jcoplien / trygve
  The trygve language project - Building a DCI-centric language from the ground up
  ☆104Updated 4 months ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆203Updated 3 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated last year
• xclerc / ocamljava
  ☆170Updated 8 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 5 months ago
• stedolan / mlsub
  Prototype type inference engine
  ☆196Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• JetBrains / arend-lib
  ☆79Updated last week
• dimitar-asenov / Envision
  A next-generation IDE that makes programming more efficient
  ☆96Updated 2 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• eprover / eprover
  ☆132Updated this week
• hackwaly / vscode-ocaml
  An extension for VS Code which provides support for the OCaml language.
  ☆170Updated 3 years ago
• chocoteam / choco-solver
  An open-source Java library for Constraint Programming
  ☆690Updated this week
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆94Updated this week
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 6 years ago
• ygrek / ocaml-extlib
  Extended Standard Library for OCaml
  ☆74Updated 3 weeks ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 3 weeks ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• SylvainBoilard / GLFW-OCaml
  A GLFW binding for OCaml.
  ☆34Updated 5 months ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆74Updated last year
• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆98Updated last year
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆10Updated last week