99 Problems in OCaml
☆22Feb 23, 2016Updated 10 years ago
Alternatives and similar repositories for ocaml99
Users that are interested in ocaml99 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Purely functional data structures in Typescript☆14Jul 15, 2020Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Benching Akka against various other concurrency libraries and approaches☆18Jun 8, 2010Updated 16 years ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Functions to scrape web pages from ebird.org☆11Jul 15, 2025Updated last year
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 4 years ago
- Clojure library for Blueprints (part of the Tinkerpop graph stack).☆38Sep 6, 2022Updated 4 years ago
- mihai surdeanu's Semantic Role Labeler. Updated headers to be gcc > 4.3 compatible.☆11Oct 22, 2012Updated 14 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Desktop Sanskrit-English Dictionary☆13Jul 7, 2020Updated 6 years ago
- Yearbirder is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photogr…☆14Updated this week
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Sep 25, 2017Updated 9 years ago
- A ternary search tree implementation in Erlang.☆12Jul 20, 2013Updated 13 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.
- Solutions to Structure and Interpretation of Computer Programs (SICP) in Scheme, Clojure, Ruby and JavaScript☆21Jan 30, 2009Updated 17 years ago
- ☆14Dec 24, 2016Updated 9 years ago
- Docker build and test files for testing new versions of PostgreSQL. Designed in order to create a test container for alphas and betas on…☆13Jul 2, 2015Updated 11 years ago
- Erlang to Scheme compiler☆40Mar 28, 2012Updated 14 years ago
- 2D tile exploring game☆12Mar 1, 2015Updated 11 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 6 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 6 years ago
- Scheme plugin for IntelliJ☆26Apr 23, 2011Updated 15 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Nov 23, 2013Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Yet another implementation of fork&exec and related functionality☆11Jul 10, 2026Updated 3 months ago
- Visualize the data distribution of your Elastic Search cluster using a Treemap☆13May 20, 2013Updated 13 years ago
- Reusable persistence layer for use with Basho's Riak☆15Jul 16, 2012Updated 14 years ago
- Heap server-side API client for Ruby☆16Oct 16, 2019Updated 7 years ago
- A pluggable Markov engine analogous to MegaHAL☆12Nov 21, 2023Updated 2 years ago
- ☆11Sep 17, 2022Updated 4 years ago
- Polymorphic guarded λ-calculus☆22Oct 22, 2026Updated last week
- Emacs 24.1.1 for Mac — just clone it and use 'install-mac' command☆10Jun 22, 2012Updated 14 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 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 simple Persistence mechanism to persist arbitrary single objects into different Providers. Kind of a Log4j.. but different☆10Jun 6, 2012Updated 14 years ago
- A collection of Scala graph libraries and adapters for graph databases.☆15Jan 31, 2017Updated 9 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- ☆14Apr 10, 2026Updated 6 months ago
- Various efforts in understanding the concepts in Purely Functional Data Structures - Okasaki 1998☆16Mar 31, 2010Updated 16 years ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago