☆14Sep 9, 2026Updated last month
Alternatives and similar repositories for ya-fonts
Users that are interested in ya-fonts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Я - extremely composable embeddable programming language☆130Sep 11, 2026Updated last month
- The Turbo Haskell IDE☆38Updated this week
- Immutable and mutable (linear) arrays☆14Oct 31, 2026Updated last week
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 years ago
- Rust language bindings for turbopuffer.☆16Updated this week
- 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.
- Icicle Streaming Query Language☆30Jan 20, 2026Updated 9 months ago
- Eventually a practical 2-level TT-based compiler☆38Apr 17, 2026Updated 6 months ago
- An implementation of a simple Neural network in Idris using category theory.☆25Sep 18, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- Rerun previous test suite runs to run only failing tests☆14Sep 28, 2026Updated last month
- ☆11Mar 23, 2026Updated 7 months ago
- An experiment to see what interpretation into (pre)sheaves categories look like☆29Jun 26, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- work in progress book on Scientific Computing in Lean☆14Mar 1, 2025Updated last year
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Updated this week
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 3 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- A template for you to implement Hazelnut yourself☆24Apr 24, 2026Updated 6 months ago
- ☆25May 21, 2026Updated 5 months ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- ☆38Jun 5, 2026Updated 5 months ago
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 4 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Oct 14, 2026Updated 3 weeks ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Sep 25, 2026Updated last month
- ☆10Sep 7, 2022Updated 4 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 9 years ago
- Opinionated Ink Physics☆12Jan 31, 2025Updated last year
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
- ☆38Apr 14, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- How I handle mouse and touch events to drag objects around on my pages☆12Mar 29, 2026Updated 7 months ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- Type Checking in Lean 4☆42Mar 22, 2026Updated 7 months ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 6 years ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated last month
- A base library for Agda for regular programming☆10Mar 24, 2026Updated 7 months ago
- In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq☆18Updated this week