Geometry types
☆33Jan 6, 2021Updated 5 years ago
Alternatives and similar repositories for gator
Users that are interested in gator are comparing it to the libraries listed below
Sorting:
- Compiler☆14Jun 29, 2024Updated last year
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆22Mar 13, 2021Updated 4 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- Vim operators to execute text objects☆25Oct 21, 2019Updated 6 years ago
- world's worst interpreter☆67Apr 23, 2025Updated 10 months ago
- An LLM-first programming language.☆33Oct 6, 2025Updated 5 months ago
- The WIP book for CPSC 411☆69Feb 23, 2026Updated last week
- Plugin for build a Vue 3 app in front and load it on CakePHP site. Communicate Vue 3 Component on front with back without implement and u…☆12Mar 3, 2025Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- A project dedicated to creating a fully autonomous, AI-powered Nerf gun turret ♜. The turret is equipped with a camera, allowing it to de…☆11May 18, 2023Updated 2 years ago
- Flatline is a server prototype to which Signal-compatible clients can connect.☆18Feb 12, 2026Updated 3 weeks ago
- ☆12Dec 16, 2024Updated last year
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- A broken problem☆22Updated this week
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Efficient C++ library for streams☆11Dec 10, 2017Updated 8 years ago
- PixoVIN Capture VIN Barcode Scanner SDK for Android☆10Aug 28, 2019Updated 6 years ago
- A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.☆10Jul 11, 2025Updated 7 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- Feature for Ktor (https://ktor.io) implementing RFC7807 (https://tools.ietf.org/html/rfc7807)☆11Feb 3, 2023Updated 3 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Mar 29, 2024Updated last year
- 🔮 Generate beautiful test data for chat☆16Jun 14, 2024Updated last year
- Sample IntelliJ project for GTK+3 using Kotlin/Native☆11Jan 3, 2020Updated 6 years ago
- Luminique is a C bytecode interpreted language with a Javascript like syntax.☆11Oct 16, 2024Updated last year
- AWS Cloudfront access log parsing for gathering analytic data, implemented in Kotlin☆11Jan 10, 2021Updated 5 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- MollySocket allows getting signal notifications via UnifiedPush. [Moved to https://github.com/mollyim/mollysocket]☆12Nov 2, 2023Updated 2 years ago
- Decentralized game universe in which players can explore worlds made by others.☆11Mar 11, 2023Updated 2 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated 2 months ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago