Generic Little System
☆18May 5, 2024Updated last year
Alternatives and similar repositories for gls
Users that are interested in gls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Racket GObjectIntrospection FFI☆16Oct 13, 2021Updated 4 years ago
- An R package for Multi-Label Prediction Using Gibbs Sampling (and Classifier Chains)☆12Mar 6, 2020Updated 6 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 2 weeks ago
- Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem☆92Jan 4, 2016Updated 10 years ago
- Programming language based on russian language☆13Mar 30, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Implementation of the JWZ threading algorithm for e-mail or newsgroup messages.☆16Feb 3, 2018Updated 8 years ago
- Mirror of https://codeberg.org/krisbalintona/emacs-config☆11Updated this week
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- ☆12Oct 2, 2017Updated 8 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- An OpenCL implementation of Connected Components Labeling based on "Connected Component Labeling in CUDA" from Onrej Stava, Bedrich Benes…☆12Apr 27, 2017Updated 8 years ago
- ☆19Oct 13, 2015Updated 10 years ago
- microKanren implementation from DLS '16☆14May 29, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- An example of a Ruby gem written in Rust☆18May 14, 2016Updated 9 years ago
- MCP Server for interacting with LogSeq graph☆15Jul 2, 2025Updated 9 months ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- ☆22May 18, 2025Updated 10 months ago
- miniKanren in OCaml☆31May 5, 2023Updated 2 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Apr 20, 2022Updated 3 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Mar 23, 2021Updated 5 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆71Jun 12, 2020Updated 5 years ago
- ☆17Sep 4, 2021Updated 4 years ago
- A fast-rendering, single-selection, canvas control allowing custom drawing of a filtered, sorted list of items.☆15Jul 26, 2021Updated 4 years ago
- ☆12May 6, 2015Updated 10 years ago
- Interactive hierarchical network navigator☆15May 2, 2023Updated 2 years ago
- Hands-on tutorial on how to combine ITK with OpenCV☆19Sep 3, 2016Updated 9 years ago
- Drawing dekstop widgets with Emacs a lá Conky☆17Nov 21, 2021Updated 4 years ago
- An Emacs Polybar-like window manager status bar.☆24Dec 13, 2025Updated 4 months ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 9 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.
- Another tutorial for writing a Forth interpreter in assembly☆20Oct 8, 2017Updated 8 years ago
- Finally, simple mean, median, mode, sum, and frequencies for Ruby arrays and enumerables!☆25Dec 16, 2013Updated 12 years ago
- The networking library that Racketeers deserve☆14Jan 4, 2018Updated 8 years ago
- Thesis☆38Apr 4, 2018Updated 8 years ago
- Produce a sample of lines from files.☆19Jul 2, 2022Updated 3 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- R7RS SRFI implementations☆33Oct 2, 2024Updated last year