The Patrisika Example Language
☆54Mar 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
- Experiments on quadratic and cubic Bézier curves☆12Jun 30, 2015Updated 11 years ago
- Turn font glyphs into numpy arrays☆11May 29, 2026Updated 2 months ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆54Oct 26, 2025Updated 9 months ago
- ☆16Dec 12, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Timecode-based Javascript Animations for Web Video☆12Mar 5, 2015Updated 11 years ago
- Ideas for fundamental changes to the spec☆14Dec 28, 2019Updated 6 years ago
- tfont is a font library that writes to JSON.☆22Dec 21, 2019Updated 6 years ago
- Class Inheritance library with support for simple accessors and AOP patterns.☆36Apr 22, 2017Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆30Sep 27, 2015Updated 10 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
- ncurses API/FFI for Racket☆17Nov 21, 2019Updated 6 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆21Apr 17, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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"☆51Dec 16, 2024Updated last year
- A unifying framework for linear temporal logics in Lean☆18Nov 7, 2025Updated 9 months ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- An in-browser letterfitting experiment based on nonnegative matrix factorization☆21Dec 5, 2015Updated 10 years ago
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- CLI tool to transform javascript programs using falafel☆24Dec 8, 2015Updated 10 years ago
- A library to deal with UFO font sources.☆32Aug 10, 2026Updated last week
- r3 programing language - ColorForth inspired☆218Updated this week
- An editor for plain text where you can also seamlessly insert line drawings☆24Jun 24, 2026Updated last month
- ☆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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- Sync your github forks without git.☆24May 6, 2026Updated 3 months ago
- Various test fonts (OpenType, OpenType with TrueType GX variation extensions, Multiple Master) for testing implementations of font format…☆11Jun 25, 2025Updated last year
- Convenient snapshot testing for Java☆16Feb 11, 2026Updated 6 months 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