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
Sorting:
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated last week
- Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem☆91Jan 4, 2016Updated 10 years ago
- ☆19Oct 13, 2015Updated 10 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- a Heroku buildpack for deploying apps written in Racket☆27Apr 20, 2022Updated 3 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- ☆71Jun 12, 2020Updated 5 years ago
- a simearth clone☆13Jun 25, 2020Updated 5 years ago
- Tau is a code editor with a small learning curve inspired by Sublime Text and based on emacs.☆12Apr 10, 2018Updated 7 years ago
- Official Kotlin SDK for interacting with the WorkOS API☆16Updated this week
- Rosé Pine theme for LogSeq☆11Sep 30, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Can GPT solve Brazilian university entrance exams?☆17Jun 2, 2025Updated 9 months ago
- CharmFS backend for Rclone☆15May 3, 2022Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- Z3 webpage repository☆10Feb 19, 2026Updated last week
- A simple library for loading word2vec binary model.☆12Sep 17, 2015Updated 10 years ago
- Clojure support☆15Feb 25, 2026Updated last week
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Format Markdown in emacs using markdownfmt☆11Jan 14, 2022Updated 4 years ago
- Summarize Plugin for Logseq by tldr.chat☆12Feb 15, 2025Updated last year
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Nov 19, 2015Updated 10 years ago
- pREST adapters package☆11Jul 21, 2020Updated 5 years ago
- Grids for Delphi, Lazarus.☆11Sep 28, 2020Updated 5 years ago
- beanstalkd golang client☆10Dec 31, 2015Updated 10 years ago
- Opensource toolchain for TI MSP430☆14Jun 19, 2022Updated 3 years ago
- self contained Cloudstack using vagrant and simulator.☆11Jun 26, 2014Updated 11 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Russian translation project of "Pharo by example" book☆21Nov 28, 2014Updated 11 years ago
- Levenshtein distance in Golang☆10May 18, 2016Updated 9 years ago
- AI generated slop to convert html to hiccup☆11Mar 11, 2025Updated 11 months ago
- Create FORTH code for register definitions of ARM Cortex-M devices based on its CMSIS SVD XML description☆10Aug 8, 2014Updated 11 years ago
- WSGI Profiling Middleware - capture cProfiles with request data.☆14Oct 28, 2014Updated 11 years ago
- mtag is the command-line tool for media files tagging☆10Jun 16, 2023Updated 2 years ago
- Small simple projects using zetes library☆35Jul 25, 2015Updated 10 years ago