Kinematics Subroutine Library
☆62Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for ksl
Users that are interested in ksl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A web crawler - my first Elixir project☆13Jul 8, 2015Updated 11 years ago
- Bill's Utilities for Gambit Scheme☆17Oct 6, 2020Updated 6 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Provide an idiomatic C++ interface to CPython's C API.☆27Jul 22, 2017Updated 9 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆25Oct 28, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 10 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago
- Deep Semantic Code Search aims to explore a joint embedding space for code and description vectors and then use it for a code search appl…☆66Jul 25, 2024Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 9 months ago
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 5 years ago
- QOI image codec for OCaml (unreleased)☆11Aug 13, 2026Updated 2 months ago
- Prettyprints ReactElements and their children☆16Nov 24, 2015Updated 10 years ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 5 years ago
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 3 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- ☆14Mar 30, 2026Updated 6 months ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- 2D CAD especially designed to draw steam locomotives☆197Sep 21, 2023Updated 3 years ago
- ☆35Sep 2, 2026Updated last month
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- This is a repo that can be cloned to get started quickly with Sihl.☆14Aug 10, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- Serialization component for the Asphalt framework☆11Updated this week
- A dynamic way to instantiate an OCaml flow☆19Jul 15, 2026Updated 3 months ago
- Library for simulating time progression in Python☆16Aug 16, 2025Updated last year
- A few classes which compile faster than the classes that they replace☆12Apr 5, 2014Updated 12 years ago
- Basic types for computer graphics in OCaml☆40Feb 13, 2026Updated 8 months ago
- Probabilistic data structures for OCaml☆39Jan 26, 2018Updated 8 years ago
- This is a mashup between BlocklyVN32X and 8Bit-Unity. It allows you to make Visual Novels for classic 8bit computers and consoles, using …☆16Sep 24, 2024Updated 2 years ago
- A block breaking game☆11Sep 5, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 14 years ago
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 9 months ago
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- A fictional personal computer from the 80s☆12Feb 23, 2021Updated 5 years ago
- Easy fuzzing with go-fuzz☆14Apr 10, 2020Updated 6 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- RESTful Visual Editor☆14Apr 14, 2016Updated 10 years ago