Generic Little System
☆17May 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.☆19Feb 23, 2026Updated last month
- Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem☆92Jan 4, 2016Updated 10 years ago
- Programming language based on russian language☆13Jan 8, 2026Updated 2 months ago
- 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 9 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
- 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 8 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
- ☆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
- Another tutorial for writing a Forth interpreter in assembly☆19Oct 8, 2017Updated 8 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 3 months ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 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
- 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
- An OSC client for SuperCollider☆15Jan 23, 2020Updated 6 years ago