☆19Jan 29, 2015Updated 11 years ago
Alternatives and similar repositories for cjdrs
Users that are interested in cjdrs are comparing it to the libraries listed below
Sorting:
- Organization site☆11Sep 27, 2019Updated 6 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)☆57Oct 23, 2015Updated 10 years ago
- ☆10Dec 22, 2020Updated 5 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Smashes windows into specified places so you don't have to fiddle resizing them☆10Feb 17, 2020Updated 6 years ago
- ☆16May 15, 2024Updated last year
- This repository covers a brain scan tumor classification project for the University of Washington DATA 515 course. In our project we trai…☆11Mar 18, 2021Updated 4 years ago
- Triangle calculator☆12Jun 3, 2023Updated 2 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last week
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Python implementation of knewjade's fumen☆10Jan 14, 2025Updated last year
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- Simplify interaction between mankind and FirefoxOS during webapps development☆18Oct 17, 2014Updated 11 years ago
- Hypergate is a zero-configuration, peer-to-peer encrypted tunnel that enables easy communication between Docker containers and/or physica…☆10Feb 25, 2026Updated last week
- Music library server with support for playlists, crates and a web/mobile frontend☆10Jul 8, 2023Updated 2 years ago
- Convert OTR keys from Pidgin format to Gajim format☆14Nov 17, 2017Updated 8 years ago
- 🐶 Soothing pastel theme for Kagi☆11May 31, 2023Updated 2 years ago
- Sometimes all you need is a single file.☆14Sep 29, 2020Updated 5 years ago
- QUIC connections natively over Yggdrasil☆20Feb 24, 2026Updated last week
- Chess moves travelling through WebRTC☆10Apr 22, 2025Updated 10 months ago
- A personal document with reports, analysis, and plotting of personal analytics data using R.☆13Jul 28, 2016Updated 9 years ago
- Access Control for Hyperdrive☆11Jun 15, 2023Updated 2 years ago
- ☆10Nov 5, 2018Updated 7 years ago
- Generate secure, random doubles that are unbiased and equidistant☆13Apr 5, 2022Updated 3 years ago
- Call a function the next time a specific event is emitted☆11Oct 31, 2015Updated 10 years ago
- Getting the best of two p2p worlds☆10Feb 17, 2022Updated 4 years ago
- a vehicle for cypherspace travel☆10Sep 12, 2016Updated 9 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- Tetris implemented in lua/love2d using ECS☆10May 8, 2019Updated 6 years ago
- ☆11Mar 10, 2020Updated 5 years ago
- EXILE – An EliXir Irc LoggEr☆25Oct 16, 2014Updated 11 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- An easy, cross-platform method of keeping track of other people's timezones.☆13Jun 23, 2023Updated 2 years ago
- Implicit Differentiable Optimal Control (IDOC) with JAX☆12May 11, 2022Updated 3 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month