ColumbiaOSS / project-proposals-s2023
Project Proposals for Spring 2023
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for project-proposals-s2023
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆13Updated 8 months ago
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- A minimal test framework for Melange using Node test runner☆14Updated this week
- A handwritten raylib mruby binding.☆11Updated 9 months ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆11Updated 3 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆9Updated 5 years ago
- Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml☆54Updated last year
- Racket bindings for Z3☆19Updated 12 years ago
- Dynamic types for OCaml☆25Updated 8 years ago
- A Vite plugin for Melange☆11Updated 3 weeks ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- miniKanren in OCaml☆31Updated last year
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Stub code generator for OCaml/C interface☆33Updated 4 months ago
- S-expression swiss knife☆43Updated 2 weeks ago
- A programming language that deduces code from tests☆30Updated 6 years ago
- SPAKE2+EE implementation in OCaml☆17Updated 4 months ago
- Scheme (R6RS subset) interpreter written in OCaml☆16Updated 4 years ago
- A GLFW binding for OCaml.☆34Updated 6 months ago
- GNU Guile Scheme bindings for OCaml☆15Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- OCaml bindings for jech/dht☆23Updated 4 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆18Updated last year
- Browser programming toolkit for OCaml☆95Updated this week
- Binding to Cairo, a 2D Vector Graphics Library.☆54Updated 2 weeks ago
- Basic types for computer graphics in OCaml☆41Updated 3 weeks ago
- Yet another type combinator library☆54Updated 2 years ago
- OCaml library for handling dates and times.☆42Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Updated 6 years ago
- OCaml bindings for the Orx game engine☆51Updated 2 years ago