ianthehenry / basilica
It's kinda like a forum.
☆114Updated 3 years ago
Related projects: ⓘ
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- Algebraic type based schema system☆128Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago
- The compiler of the programming language Shem☆392Updated 4 years ago
- ☆82Updated this week
- Language independent type-safe communication☆133Updated 6 years ago
- ☆34Updated this week
- OCaml, Meet Web.☆157Updated 8 years ago
- ☆111Updated 4 years ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- A dead simple networked key/value store☆115Updated 9 years ago
- 🐣 A blog engine written and proven in Coq☆177Updated 4 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆99Updated 8 years ago
- Buildpack for deploying Haskell apps☆131Updated 5 years ago
- A Wildflower IDE for touch devices.☆95Updated 8 years ago
- OwnCloud for owls done via The Microservice Architecture☆235Updated 6 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- Learning Haskell☆49Updated 8 years ago
- RethinkDB client library for Haskell☆93Updated 7 years ago
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆290Updated 2 years ago
- Getting Widespread OCaml Adoption☆86Updated 6 years ago
- Moved to https://github.com/haskus/packages☆348Updated 2 months ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- System for installing Haskell apps☆168Updated 5 years ago
- ☆228Updated this week
- A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.☆137Updated 6 years ago
- Process lists easily☆144Updated 7 years ago
- Forming reliable memories.☆94Updated 4 years ago
- A Haskell library for the Slack API (including real-time messaging!)☆79Updated 3 years ago