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:
- Code library for .NET that supports common astronomical calculations and algorithms.☆10Updated 10 months ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆13Updated last year
- GNU Guile Scheme bindings for OCaml☆16Updated 3 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Updated 6 years ago
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- Simplified logic programming language for Unity3D☆11Updated 4 years ago
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- Dynamic types for OCaml☆25Updated 9 years ago
- Stub code generator for OCaml/C interface☆33Updated last week
- A GLFW binding for OCaml.☆35Updated 2 weeks ago
- A programming language that deduces code from tests☆30Updated 7 years ago
- Natural language construction grammar parser☆10Updated 10 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Useful UI and Particles for Raylib☆10Updated 3 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Updated 8 years ago
- Browser programming toolkit for OCaml☆104Updated 2 weeks ago
- 🐫🎮 OCaml Game Engine☆44Updated 4 months ago
- A Vite plugin for Melange☆13Updated 5 months ago
- Personal portfolio website built with Ruby on Rails☆16Updated 7 years ago
- OCaml binding for SFML (Simple and Fast Multimedia Library), http://www.sfml-dev.org/☆24Updated 3 years ago
- OpenGL with GLFW and Red/System☆14Updated 4 years ago
- S-expression swiss knife☆46Updated 2 months ago
- Awesome OCaml Gamedev☆14Updated 3 years ago
- A minimal test framework for Melange using Node test runner☆16Updated 3 months ago
- SPAKE2+EE implementation in OCaml☆17Updated 4 months ago
- Minimalistic logic programming framework☆22Updated 5 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Updated 3 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Updated 4 years ago