bbs written in Ur/Web
☆13Feb 21, 2016Updated 10 years ago
Alternatives and similar repositories for urchan
Users that are interested in urchan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scheme compiler implemented in 2008 with friends☆13Aug 23, 2012Updated 14 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago
- The sparkling monad library☆13Jun 17, 2016Updated 10 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 years ago
- A toy operating system written in Rust.☆20Feb 4, 2017Updated 9 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.
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- miniKanren in the browser☆56Mar 25, 2016Updated 10 years ago
- The Ur/Web People Organizer☆32May 6, 2024Updated 2 years ago
- OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions☆12Nov 17, 2015Updated 10 years ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 3 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated 2 years ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 7 years ago
- Bouncy Castle fork for OpenKeychain☆15Jan 29, 2024Updated 2 years ago
- Small example MirageOS unikernels.☆16Jun 14, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Compile-time rewrite rules for OCaml☆16Jan 15, 2016Updated 10 years ago
- Off-the-record (OTR) messaging protocol, purely in OCaml☆39Dec 17, 2024Updated last year
- Library for parsing Subversion dump files from Haskell☆12Oct 13, 2012Updated 14 years ago
- Source to "Binding as Sets of Scopes"☆10May 4, 2016Updated 10 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 10 years ago
- a forth like language written in fasm assembler☆14Jul 27, 2016Updated 10 years ago
- The propagator system☆43Nov 30, 2015Updated 10 years ago
- An evaluator with an expander.☆20Nov 30, 2015Updated 10 years ago
- Make interactive text-oriented user-interfaces for OCaml☆23Feb 5, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple static website generator, written in OCaml☆27Jan 25, 2026Updated 9 months ago
- 🐫Yeoman generator to scaffold OCaml modules.☆22Jun 29, 2018Updated 8 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 4 years ago
- Shadower watches a specific folder, and runs doctests in any Haskell sources in the folder that are modified☆12Jan 28, 2018Updated 8 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-pvector instead.☆11Dec 6, 2015Updated 10 years ago
- ☆20Oct 25, 2026Updated 2 weeks ago
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 11 years ago
- OCaml bytecode files pretty-printer☆15Oct 4, 2016Updated 10 years ago
- No-frills ssh/git gateway☆17Sep 28, 2012Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pla is a simple library and ppx syntax extension to create composable templates based on verbatim strings☆14Nov 1, 2022Updated 4 years ago
- Meatspac.es Bots☆14Nov 10, 2015Updated 11 years ago
- An x86 machine-code toolkit☆16Apr 11, 2017Updated 9 years ago
- Emojis in OCaml, use them in your CLIs or whatever☆29Sep 29, 2025Updated last year
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyt…☆11Jul 1, 2019Updated 7 years ago
- audiofile.cc☆16Jun 27, 2011Updated 15 years ago
Are these results useful?