mdgeorge4153 / jalgebra

Related projects ⓘ

Alternatives and complementary repositories for jalgebra

• gdejohn / procrastination
  A small, straightforward library bringing the benefits of functional programming to Java 11
  ☆48Updated 4 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 13 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆74Updated last year
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆70Updated 3 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆37Updated 3 years ago
• akabe / docker-ocaml
  Minimum docker images for OCaml+OPAM
  ☆16Updated 4 years ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆33Updated 5 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 3 years ago
• mjambon / atdgen
  Now part of the atd repo
  ☆44Updated 7 years ago
• rpasta42 / ChessKell
  Chess Engine written in Haskell
  ☆15Updated 6 years ago
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆9Updated 5 years ago