tsloughter / OpaDoLinks
Opa port of the TodoMVC app
☆24Updated 13 years ago
Alternatives and similar repositories for OpaDo
Users that are interested in OpaDo are comparing it to the libraries listed below
Sorting:
- Collection of various Haskell web benchmarks☆44Updated 12 years ago
- Toy compiler for OCaml Meetup☆67Updated 13 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- [DEPRECATED] A DBMS written in Haskell☆84Updated 13 years ago
- Snapframework.com source code☆79Updated 4 years ago
- A wrapper program around cabal and cabal-install that maintains sandboxed build environments.☆149Updated 10 years ago
- Haskell bindings to the LLVM compiler infrastructure project.☆107Updated 5 years ago
- Javascript back-end for OCamlc☆134Updated 14 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Simple auto completion web server☆33Updated 10 years ago
- The website for the Nu programming language (source materials)☆35Updated 5 years ago
- A JavaScript port of Paul Graham's Arc programming language☆20Updated 17 years ago
- MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code☆86Updated 4 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- ☆24Updated 10 years ago
- Micro-blogging engine☆57Updated 11 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- Haskell IRC daemon.☆141Updated 8 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Collaborative white board☆14Updated 13 years ago
- Previous version of "I Write Like" written in Racket☆59Updated 8 years ago
- The Scotch programming language☆44Updated 12 years ago
- Examples from the new 3rd edition of Cocoa Programming for Mac OS X, ported to Nu☆57Updated 17 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Virtual Haskell Environment builder☆122Updated 11 years ago