GaloisInc / http-server
A Haskell HTTP server
☆23Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for http-server
- TODO☆10Updated 9 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- scraps and bits and bobs☆14Updated 2 years ago
- Support for static values☆22Updated 2 months ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Transactional cache with configurable persistence☆48Updated last year
- BibTeX database management in Idris☆18Updated 10 years ago
- A typed logic programming language embedded in Haskell☆49Updated 11 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- A human readable style for binary data.☆11Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10Updated 4 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- The LVish Haskell library☆81Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Self-Organising Map implementation in Haskell☆23Updated 2 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago