A simple http server written in Prolog
☆30Nov 22, 2016Updated 9 years ago
Alternatives and similar repositories for httppl
Users that are interested in httppl are comparing it to the libraries listed below
Sorting:
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 9 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13May 19, 2017Updated 8 years ago
- very important emojis☆14Updated this week
- Procedural map compass generation from Dragons Abound☆21May 22, 2022Updated 3 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- An Erlang INI parser☆21May 4, 2021Updated 4 years ago
- Check if a term is positive☆13Mar 30, 2016Updated 9 years ago
- ☆16Jun 17, 2017Updated 8 years ago
- Execute multiple asynchronous requests and get combined results (pseudo-Promise)☆40Dec 8, 2014Updated 11 years ago
- Economics études: books, papers and courses☆26Feb 23, 2026Updated last week
- Web Workers with ReasonML☆23Aug 30, 2023Updated 2 years ago
- ☆23Dec 6, 2017Updated 8 years ago
- github feed as notifications in your desktop☆29Sep 4, 2015Updated 10 years ago
- Bot for Facebook Messenger that echoes everything. Written using Koa 2☆23Apr 25, 2016Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- dispcount-based lhttpc fork for massive amounts of requests to limited endpoints☆36Jan 17, 2019Updated 7 years ago
- Reactive programming… in the shell☆30Nov 10, 2017Updated 8 years ago
- source of the little riak core book☆33Sep 17, 2018Updated 7 years ago
- Text templating processor for SWI-Prolog.☆32Mar 14, 2020Updated 5 years ago
- ☆43Nov 2, 2018Updated 7 years ago
- Conway's game of life in 100 lines or less!☆35Aug 10, 2017Updated 8 years ago
- Get an email as soon as a Hacker News story matches your custom criteria☆37Jun 12, 2016Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- Render React apps on multiple clients synced via WebRTC☆11Mar 21, 2015Updated 10 years ago
- GCE VM software for Google Compute User Accounts.☆10Jan 24, 2019Updated 7 years ago
- List of PHP behaviours you don't expect☆11Jul 11, 2019Updated 6 years ago
- Build virtual tree elements with magic attributes☆11Oct 10, 2018Updated 7 years ago
- An Erlang NIF wrapper for Google's snappy compressor/decompressor☆14Sep 11, 2017Updated 8 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Addons modules for the BuckleScript OCaml->Javascript translator☆38Dec 19, 2017Updated 8 years ago
- Activity feed audiences, backed by Redis.☆23May 22, 2014Updated 11 years ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- ☆12Jan 17, 2019Updated 7 years ago