The Patrisika Example Language
☆53Mar 21, 2026Updated 4 months ago
Alternatives and similar repositories for PatEL
Users that are interested in PatEL 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 Basic Geometric library for Type Design☆11Apr 25, 2026Updated 3 months ago
- ☆19Nov 26, 2023Updated 2 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆54Oct 26, 2025Updated 9 months ago
- Dead simple SQL database written in Haskell for solely educational purposes☆15Nov 2, 2015Updated 10 years ago
- Ideas for fundamental changes to the spec☆14Dec 28, 2019Updated 6 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.
- tfont is a font library that writes to JSON.☆22Dec 21, 2019Updated 6 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Terminal interface to search the LLVM-C API☆13Dec 26, 2021Updated 4 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- Caryll font editor☆21Feb 3, 2016Updated 10 years ago
- Turn CFF to TTF using otfcc.☆35May 26, 2018Updated 8 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆50Dec 16, 2024Updated last year
- opentype-layout working group documents☆18Apr 23, 2020Updated 6 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.
- A ressurrected image processing library☆34Mar 18, 2020Updated 6 years ago
- Official MPEG repository to discuss issues on Open Font Format (ISO/IEC 14496-22)☆33Jan 6, 2022Updated 4 years ago
- Douglas Crosher's public domain code for direct system calls from CMUCL on Linux☆15Jul 1, 2013Updated 13 years ago
- Source repository utilities in Common Lisp☆15Jul 4, 2023Updated 3 years ago
- Data transfer protocol based on a lightweight implementation of Scheme programming language written on C# for .NET enterprise development…☆14Jul 6, 2021Updated 5 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- A library to deal with UFO font sources.☆32Updated this week
- r3 programing language - ColorForth inspired☆215Updated this week
- An editor for plain text where you can also seamlessly insert line drawings☆24Jun 24, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Mar 13, 2024Updated 2 years ago
- A collection of notes about type design from events around the world☆31May 29, 2019Updated 7 years ago
- Common Lisp packrat parser☆16Aug 26, 2018Updated 7 years ago
- Robust REPL logging facility☆17Oct 9, 2018Updated 7 years ago
- Tutorial to learn to use the cranelift compiler backend☆25Mar 18, 2020Updated 6 years ago
- Kennedy: Crawler and Search Engine for Gemini space. Leverages techniques and architecture from early WWW crawlers like Mercator, Archive…☆17Jul 11, 2026Updated 2 weeks ago
- Updated version of Ned T. Crigler's wonderful dtach utility, simplified with the eventual goal of being scriptable.☆25Jan 1, 2015Updated 11 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- View an NOAA weather forecast for a specific geographic location.☆17Feb 11, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 6 years ago
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago
- Boolean operations on paths☆42Jan 15, 2026Updated 6 months ago
- Shallow Tcl/Tk bindings for Common Lisp☆17Jun 1, 2015Updated 11 years ago
- ☆33Sep 4, 2020Updated 5 years ago
- 🎺 Function calling utilities Go library based on Go 1.18+ Generics (Go2 like error handling, invoke with contexts, etc.)☆25Jul 7, 2026Updated 3 weeks ago
- Escape version skew☆16Jul 6, 2026Updated 3 weeks ago