MetaBorgCube / IceDust

Related projects: ⓘ

• nuprl / gradual-typing-performance
  ☆10Updated 5 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆55Updated 3 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆40Updated 2 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 4 months ago
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• protz / mezzo
  The language of the future!
  ☆71Updated 8 months ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆11Updated 9 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆20Updated last year
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆8Updated 3 years ago
• ptal / bonsai
  Programming language based on the synchronous and constraint paradigms
  ☆15Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆30Updated 10 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆31Updated 6 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆31Updated 6 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆11Updated 4 years ago
• racket / parser-tools
  ☆10Updated last month
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 5 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆20Updated 3 months ago