The Patrisika Example Language
☆54Mar 21, 2026Updated 6 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 5 months ago
- Turn font glyphs into numpy arrays☆11May 29, 2026Updated 3 months ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆54Oct 26, 2025Updated 11 months ago
- SFNT parser and generator for Nodejs.☆20Aug 31, 2017Updated 9 years ago
- Python extension for streamlined DirectWrite text shaping.☆18Aug 26, 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.
- Dead simple SQL database written in Haskell for solely educational purposes☆15Nov 2, 2015Updated 10 years ago
- ☆16Dec 12, 2022Updated 3 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
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆30Sep 27, 2015Updated 11 years ago
- ☆14Oct 30, 2015Updated 10 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- ncurses API/FFI for Racket☆17Nov 21, 2019Updated 6 years ago
- A Clojure library for use case driven development☆11Dec 25, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- Caryll font editor☆21Feb 3, 2016Updated 10 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 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
- ☆25Dec 13, 2016Updated 9 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆52Dec 16, 2024Updated last year
- opentype-layout working group documents☆18Apr 23, 2020Updated 6 years ago
- Utilities for parsing Lisp code - previously known as cleavir-code-utilities☆10Jul 29, 2026Updated last month
- 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.
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- A mirror of fallingblocks (with minor updates)☆12Apr 16, 2015Updated 11 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.☆32Sep 21, 2026Updated last week
- An editor for plain text where you can also seamlessly insert line drawings☆24Jun 24, 2026Updated 3 months ago
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- A collection of notes about type design from events around the world☆32May 29, 2019Updated 7 years ago
- Common Lisp packrat parser☆16Aug 26, 2018Updated 8 years 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.
- Updated version of Ned T. Crigler's wonderful dtach utility, simplified with the eventual goal of being scriptable.☆25Jan 1, 2015Updated 11 years ago
- Various test fonts (OpenType, OpenType with TrueType GX variation extensions, Multiple Master) for testing implementations of font format…☆11Jun 25, 2025Updated last year
- View an NOAA weather forecast for a specific geographic location.☆17Feb 11, 2024Updated 2 years ago
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 6 years ago
- CLI app for Todoist written in Nim (REST API v8)☆10Jul 1, 2021Updated 5 years ago
- A header-only proportional-integral-derivative (PID) controller.☆41Jul 7, 2026Updated 2 months ago