Chess Portable Game Notation (PGN) grammar for tree-sitter
☆18Apr 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for tree-sitter-pgn
Users that are interested in tree-sitter-pgn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- LD linker script grammar for tree-sitter☆11Nov 19, 2023Updated 2 years ago
- Parse objdump files using tree-sitter☆13Nov 22, 2023Updated 2 years ago
- Idris Version Manager☆16Feb 23, 2025Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆17Updated this week
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- A GitHub Action for producing lists of files that changed between branches☆14Updated this week
- This class implements a pretty printing algorithm.☆15Mar 16, 2026Updated last month
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 7 years ago
- Objective-C grammar for tree-sitter☆36May 24, 2025Updated 11 months ago
- Cli tool to pass arguments to nix flakes☆10May 6, 2024Updated 2 years 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.
- Possibly the most obscure piece of Nix magic yet☆13Jan 30, 2023Updated 3 years ago
- Various tools for EBNF grammars☆11Feb 6, 2023Updated 3 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 11 months ago
- ☆14Jan 1, 2026Updated 4 months ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 7 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 years ago
- A "core" library for Fennel☆10Jan 11, 2022Updated 4 years ago
- Create online apps using Typst☆12May 17, 2025Updated 11 months 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.
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- Dataframes for Golang☆14Apr 8, 2021Updated 5 years ago
- Tree Sitter grammar for Unison programming language☆11Mar 1, 2026Updated 2 months ago
- ☆11Nov 17, 2024Updated last year
- Oracle Types Implementation and Examples☆13Mar 31, 2021Updated 5 years ago
- Turtle grammar for tree-sitter☆11Jul 2, 2024Updated last year
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Nov 14, 2022Updated 3 years ago
- ☆13Apr 9, 2026Updated 3 weeks ago
- command line tool for https://kutt.it service☆13Jun 25, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Pytest plugin to fail a test if it leaves modified `os.environ` afterwards.☆16Dec 16, 2025Updated 4 months ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- base16 colors for helix☆19Apr 21, 2026Updated 2 weeks ago
- Fennel Language Support for Sublime Text 3 & 4☆15May 18, 2023Updated 2 years ago
- easily write your HTTP handlers in Go with Generics☆11Aug 26, 2025Updated 8 months ago
- A parser combinator library for Ruby☆11Dec 29, 2024Updated last year
- ☆14Jul 3, 2023Updated 2 years ago