jgalenson / research.js

Related projects: ⓘ

• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• arianvp / Hom
  Hom - React.JS for Haskell!
  ☆39Updated 9 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 7 months ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month
• tazjin / elm-yesod
  elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.
  ☆15Updated 11 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆29Updated 7 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated last year
• rpasta42 / ChessKell
  Chess Engine written in Haskell
  ☆15Updated 6 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• renzyq19 / pi-calculus
  ☆26Updated 10 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 9 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 5 years ago