ColumbiaOSS / project-proposals-s2023
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
- ☆16Updated 6 months ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆13Updated last year
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Updated 7 years ago
- ☆12Updated 4 years ago
- OCaml binding for SFML (Simple and Fast Multimedia Library), http://www.sfml-dev.org/☆23Updated 2 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Updated 4 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Updated 5 years ago
- GNU Guile Scheme bindings for OCaml☆16Updated 2 years ago
- Code for a tutorial on parsing with Menhir☆14Updated 3 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆11Updated 3 years ago
- A minimal test framework for Melange using Node test runner☆14Updated 3 months ago
- miniKanren in OCaml☆31Updated last year
- Compiler for a very restricted subset of OCaml☆27Updated 9 years ago
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆26Updated 3 weeks ago
- Stub code generator for OCaml/C interface☆33Updated last month
- LablTk, an OCaml interface for Tcl/Tk☆34Updated last month
- A simple rayfork project template with sokol-app and CMake☆13Updated 3 years ago
- S-expression swiss knife☆44Updated 3 months ago
- A stepping debugger for Standard ML (SML)☆24Updated last year
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Updated 11 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- Minimalistic logic programming framework☆23Updated 5 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated last year
- a simple x64 assembler written in typed/racket☆18Updated 3 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- Learn Compiler Writing with the Feeny Programming Language☆12Updated 5 years ago
- The Graphics library from OCaml, in a standalone repository☆64Updated last week