A toy ML-like programming language
☆16Sep 2, 2012Updated 14 years ago
Alternatives and similar repositories for caraml
Users that are interested in caraml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A language with dependent types☆19Oct 7, 2011Updated 15 years ago
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 5 years ago
- Js implementation of Chip8. (Compile with Js_of_ocaml)☆12Feb 20, 2014Updated 12 years ago
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Nov 10, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Binding to the Dropbox Remote API☆12Jun 13, 2020Updated 6 years ago
- Overlay over bigarrays of chars☆14Oct 23, 2020Updated 5 years ago
- F* running in the browser☆21Aug 15, 2019Updated 7 years ago
- telnet protocol in OCaml☆15Nov 15, 2016Updated 9 years ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 7 years ago
- An implementation of the Logo programming language in OCaml☆15Mar 13, 2018Updated 8 years ago
- A cross-platform game library in the public domain☆15Aug 12, 2019Updated 7 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 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.
- Collaborative white board☆13Nov 11, 2011Updated 14 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆51Dec 26, 2021Updated 4 years ago
- Bitcoin node implementation in OCaml☆13Jan 23, 2026Updated 8 months ago
- A simple immutable database for the masses.☆21Mar 23, 2022Updated 4 years ago
- A sample syntax extension using OCaml's new extension points API.☆23Jul 5, 2024Updated 2 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- Small Neural Network car racing game made with Unity and C#.☆13Apr 21, 2017Updated 9 years ago
- A port of the EGL API to Mac OS X (OpenGL) and iOS (OpenGL ES 1 & 2)☆14Oct 25, 2014Updated 11 years ago
- Javascripts stubs for the Zarith library☆24Jul 10, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Dec 21, 2018Updated 7 years ago
- OCaml library for forking child processes to perform work on multiple cores☆17Sep 9, 2019Updated 7 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- Obsolete. See http://github.com/greedy/scala☆11Jul 18, 2011Updated 15 years ago
- An OCaml javascript kernel for the IPython notebook☆57Sep 3, 2017Updated 9 years ago
- OCaml library for resizable arrays and strings☆26Jun 23, 2026Updated 3 months ago
- Implements collision between triangles and AABBs through the separating axis theorem (SAT).☆10Nov 16, 2014Updated 11 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Feb 11, 2023Updated 3 years ago
- (DEPRECATED, SEE README)☆12Aug 16, 2018Updated 8 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.
- A DSL to invoke otherworldly functors☆64Aug 25, 2022Updated 4 years ago
- SDK to extend Merlin☆28Oct 21, 2024Updated 2 years ago
- A library to write emacs plugins in OCaml☆22May 20, 2016Updated 10 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Jun 5, 2026Updated 4 months ago
- Concatenative Language☆15Aug 15, 2009Updated 17 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago