siggame / CadreLinks
A collection of micro services to allow for quick development of AIs, and the games they play.
☆14Updated 3 years ago
Alternatives and similar repositories for Cadre
Users that are interested in Cadre are comparing it to the libraries listed below
Sorting:
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Updated 4 years ago
- Outils pour le logiciel RPG Maker☆11Updated 6 years ago
- ☆54Updated 12 years ago
- The new home of OMake - docs, downloads, mailing list etc. see:☆67Updated last week
- windows package repository for OPAM (mingw and msvc)☆95Updated 2 years ago
- Self-hosting F#-subset compiler☆48Updated 8 months ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Updated 13 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 6 years ago
- Minimum docker images for OCaml+OPAM☆16Updated 5 years ago
- OCaml build rules for Bazel☆39Updated 4 years ago
- A blog about Coq☆11Updated 4 years ago
- Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning☆28Updated 8 years ago
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆66Updated 3 months ago
- An OCaml cross-toolchain for Android and several useful libraries☆107Updated 3 years ago
- ☆17Updated 12 years ago
- Simple hash algorithms in OCaml☆92Updated 5 months ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- OCaml implementation of the DNS protocol☆109Updated 2 weeks ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆25Updated last month
- A new language for optimization☆13Updated 4 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated last week
- Archived since the contents have been moved to the Hydras & Co. repository☆30Updated 3 years ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Updated 6 years ago
- Backport new syntax to older compilers☆14Updated 5 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- Haskell RSA Library☆20Updated 4 years ago
- GitHub Action for the OCaml programming language☆18Updated 4 years ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- Ocaml multimedia library☆30Updated 3 years ago
- RISC-V Specification in Coq☆13Updated 7 years ago