Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/
☆11Jan 8, 2012Updated 14 years ago
Alternatives and similar repositories for ocaml-networking
Users that are interested in ocaml-networking are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Mar 14, 2016Updated 10 years ago
- Xen-style shared memory rings☆21Mar 6, 2025Updated last year
- Bindings to UNIX tuntap facilities☆23Jul 6, 2026Updated 4 months ago
- ☆16Jul 1, 2015Updated 11 years ago
- Barely functional imageboard☆11Jun 12, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bottlenose Source Code☆11May 25, 2017Updated 9 years ago
- Terrible window manager, written in terrible C and with terrible bugs and segfaults☆10May 7, 2016Updated 10 years ago
- A 'free monad' library for OCaml☆21Jun 24, 2014Updated 12 years ago
- Fast, safe mutable dynamic arrays for OCaml☆29Jan 18, 2024Updated 2 years ago
- A lightweight personal wiki in Racket☆19May 19, 2017Updated 9 years ago
- Message transformation and filtering with RabbitMQ.☆10Jul 3, 2010Updated 16 years ago
- E language implementation targeting Common Lisp☆14Feb 19, 2012Updated 14 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- Axio Web Framework for Racket☆20Jul 23, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆26Feb 17, 2015Updated 11 years ago
- Introspectable Contracts Programming for JavaScript☆13Jan 6, 2017Updated 9 years ago
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- Analyse & convert data from online services for backup, indexing or migration purpose☆10Jun 7, 2023Updated 3 years ago
- ☆16Aug 4, 2026Updated 3 months ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- A minimal, certified, executable HTTP server written in Coq☆11Mar 30, 2021Updated 5 years ago
- [UNMAINTAINED] Universal Binary Format 2.2 and JavaScript Object Notation RPC☆13Feb 11, 2016Updated 10 years ago
- A Javascript JSON DVCS underpinning a Smalltalk-like image holding code & data in a single HTML file. A bit like Tiddlywiki. Work in prog…☆44Oct 22, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ruby library for the ejabberd RESTful admin API☆10Sep 28, 2026Updated last month
- Inspired by MCM mod for the Bethesda games this provides similar functionality for Anomaly☆28Aug 31, 2025Updated last year
- OCaml rewrite of the ixy network driver☆37May 24, 2021Updated 5 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago
- Libraries for Ypsilon Scheme☆27Jun 10, 2010Updated 16 years ago
- Matrix api for using BLAS and LAPACK for Rust.☆10Jun 7, 2014Updated 12 years ago
- Zurb Foundation templates for a blog/wiki using Cohttp☆11Sep 10, 2021Updated 5 years ago
- The Megalodon interactive theorem prover and proof checker☆16Apr 14, 2024Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A hacky userspace v3d driver for the raspberry pi.☆11Apr 2, 2014Updated 12 years ago
- Study Guide for COS 418☆11May 24, 2017Updated 9 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆31Mar 16, 2024Updated 2 years ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- an ML-style pattern-matching library for Common Lisp☆15Oct 26, 2012Updated 14 years ago
- RabbitMQ XMPP gateway☆15Aug 13, 2012Updated 14 years ago
- Progress bar library for OCaml☆151Sep 25, 2025Updated last year
Are these results useful?