ColumbiaOSS / project-proposals-s2023Links
Project Proposals for Spring 2023
☆9Updated last year
Alternatives and similar repositories for project-proposals-s2023
Users that are interested in project-proposals-s2023 are comparing it to the libraries listed below
Sorting:
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Updated 7 years ago
- Natural language construction grammar parser☆10Updated 10 years ago
- A handwritten raylib mruby binding.☆11Updated last year
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Updated 7 years ago
- Simplified logic programming language for Unity3D☆11Updated 4 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆13Updated last year
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Updated 6 years ago
- A simple-to-use graph grammar engine☆11Updated 4 years ago
- Minimalistic logic programming framework☆22Updated 5 years ago
- Code library for .NET that supports common astronomical calculations and algorithms.☆10Updated 9 months ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Updated 3 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- Stub code generator for OCaml/C interface☆33Updated last month
- A programming language that deduces code from tests☆30Updated 7 years ago
- A GLFW binding for OCaml.☆35Updated last year
- A Vite plugin for Melange☆13Updated 4 months ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Updated 4 years ago
- GNU Guile Scheme bindings for OCaml☆16Updated 2 years ago
- The Graphics library from OCaml, in a standalone repository☆71Updated last month
- ☆50Updated 2 months ago
- Awesome OCaml Gamedev☆13Updated 2 years ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- http://cdr.eurolisp.org/document/2/☆17Updated 6 years ago
- Generic unification-based type inference library☆25Updated 10 years ago
- OCaml IRC client library☆51Updated 2 years ago