Let's write some Advent of Code in OCaml
☆16Nov 28, 2023Updated 2 years ago
Alternatives and similar repositories for advent-of-ocaml
Users that are interested in advent-of-ocaml are comparing it to the libraries listed below
Sorting:
- Digital Combat Simulator "WARZONES". A dynamic, persistent, randomized, customizable, simple to install and simple to configure mission s…☆11Jan 17, 2026Updated last month
- ts-paginator is a TypeScript pagination hook for React or NextJS☆17Jun 5, 2025Updated 9 months ago
- Wargame Red Dragon Replay Browser☆11Jul 18, 2025Updated 7 months ago
- Shell In A Box is a web-based AJAX terminal emulator. This is a mirror of the upstream repository.☆28Sep 28, 2013Updated 12 years ago
- ☆11May 12, 2025Updated 9 months ago
- Runtime assertion checking based on Gospel specifications☆51Feb 11, 2026Updated 3 weeks ago
- My config for my Arch Linux rice with Sway WM☆12Oct 2, 2022Updated 3 years ago
- Demos for Reactive Extensions☆19Sep 5, 2021Updated 4 years ago
- ☆23Updated this week
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- PoC of an asynchronous non-blocking token bucket for Java☆15Dec 14, 2023Updated 2 years ago
- a neovim config with linting,lsp,and ai☆10Jul 6, 2025Updated 8 months ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- A VS Code extension to run lua code in DCS World (local or remote server). A reimplementation of the DCS Fiddle web lua console.☆11Oct 20, 2024Updated last year
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- Dockerized Rails and React Example☆11Feb 1, 2024Updated 2 years ago
- [Java] Useful Minecraft mod with cursor utilities☆13Jan 30, 2015Updated 11 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Rust crates to read and use Octopus MDict Dictionary.☆11Aug 27, 2020Updated 5 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Taper is a React (with SSR) and server-side-redux-like environment for Elixir+Phoenix.☆10Aug 24, 2020Updated 5 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- A online generator that can create PDFs with signature and ID photos.☆12May 7, 2024Updated last year
- An Elixir library for generating avatars from hashed strings.☆12Jun 2, 2023Updated 2 years ago
- ZSH Arch Linux plugin☆10Apr 18, 2023Updated 2 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Missions and scripts for a very zeus-style "spawn anything anywhere" style sandbox experience in DCS☆10Mar 13, 2025Updated 11 months ago
- A K8s operator to inject agents into existing K8s workloads.☆18Feb 12, 2026Updated 3 weeks ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated 11 months ago
- A Node.js fluent interface to Windows Management Instrumentation CLI(WMIC).☆13Mar 11, 2019Updated 6 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago
- A Uniswap Fork enabling ERC20 to ERC20 trades☆12Jan 24, 2023Updated 3 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- Truffle for Terra and beyond! Capsule is small Python SDK tool you can use to deploy Terra CosmWasm contracts to a given Terra (Cosmos SD…☆13Jul 9, 2022Updated 3 years ago
- Seamlessly integrate a search engine to find live ticker symbols into your web app☆13Apr 30, 2021Updated 4 years ago
- A minecraft forge mod which adds NEI plugins to show detailed information of GregTech5/6's ore-generation.☆10Jul 14, 2017Updated 8 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated last year