Alternatives and similar repositories for project-proposals-s2023:

Users that are interested in project-proposals-s2023 are comparing it to the libraries listed below

• ColumbiaBuildLab / 2020-Coding-Challenge
  ☆16Updated 8 months ago
• fccm / OCamlODE
  OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.
  ☆16Updated 2 years ago
• amosjyng / nlu
  Natural language construction grammar parser
  ☆10Updated 9 years ago
• ethagnawl / ecl-hello-r-lisp
  Embeddable Common-Lisp C-Interop Demo
  ☆14Updated 2 years ago
• ianhorswill / BotL
  Simplified logic programming language for Unity3D
  ☆11Updated 4 years ago
• Emmanuel-PLF / facile
  FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
  ☆14Updated last year
• ldci / glfw-red
  OpenGL with GLFW and Red/System
  ☆15Updated 4 years ago
• LukeMcCulloch / feasible-form-parameter-design
  My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…
  ☆10Updated 4 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• mgritter / soffit
  A simple-to-use graph grammar engine
  ☆11Updated 3 years ago
• nojb / ocaml-dht
  OCaml bindings for jech/dht
  ☆23Updated 4 years ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 3 years ago
• samoht / dyntype
  Dynamic types for OCaml
  ☆25Updated 9 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• kayceesrk / cs3100_f19
  CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
  ☆19Updated 2 years ago
• charlesnchr / embedded-3d-rendering
  A light-weight CPU implementation of a 3D graphics pipeline for embedded systems
  ☆17Updated 6 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• FacticiusVir / BacktraQ
  ☆13Updated 5 years ago
• vincentdchan / ocaml
  This is a forked version of OCaml, aimed to be compiled to WASM.
  ☆12Updated 3 years ago
• SasLuca / rayfork-sokol-template
  A simple rayfork project template with sokol-app and CMake
  ☆13Updated 3 years ago
• konerukaushik / Graphlib
  Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.
  ☆12Updated 7 years ago
• jeceljr / SmalltalkSurvey
  The goal is to compile a reasonably complete list of all implementations of the Smalltalk system
  ☆26Updated last year
• rthelen / tyForth
  A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.
  ☆16Updated 14 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 2 years ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆41Updated last month
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 5 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated 2 weeks ago
• Chicorak / RayLibUtils
  Useful UI and Particles for Raylib
  ☆10Updated 2 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 7 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago