mjdominus / topology-doc

Related projects: ⓘ

• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 13 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 11 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 8 years ago
• gurgeh / Guerilla
  An experimental AGI (Artificial General Intelligence)
  ☆29Updated 12 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆101Updated 7 years ago
• bos / llvm
  Haskell bindings to the LLVM compiler infrastructure project.
  ☆104Updated 4 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆68Updated 12 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• janvitek / rift
  Playing with llvm
  ☆26Updated 7 years ago
• mzero / haskell-amuse-bouche
  A short technical talk about some fun things in Haskell
  ☆115Updated 10 years ago
• ttsiodras / Score4
  AI: Implementing Score4 (Connect four) in functional and imperative languages
  ☆44Updated last year
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• NVIDIA / remorac
  ☆39Updated 8 years ago
• lkuper / dissertation
  Exactly what it says on the tin.
  ☆20Updated 6 years ago
• jaked / ocamljs
  Javascript back-end for OCamlc
  ☆134Updated 13 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• ghewgill / picomath
  Stand-alone numeric code snippets
  ☆30Updated 12 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆139Updated 7 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 8 years ago
• audreyt / Pugs.hs
  Perl6 User's Golfing System in Haskell
  ☆36Updated 12 years ago
• TabularLang / CoreTabular
  ☆20Updated 4 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 8 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago