acfoltzer / nbtLinks
A parser/serializer for Minecraft's Named Binary Tag (NBT) data format.
☆25Updated 4 years ago
Alternatives and similar repositories for nbt
Users that are interested in nbt are comparing it to the libraries listed below
Sorting:
- ⚖️ Trial Data Type☆21Updated 2 months ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆44Updated 8 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- A Super Kawaii Dependently Typed Programming Language☆174Updated 7 years ago
- Purely functional map and set data structures☆36Updated 2 months ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Placeholder for the OwO compiler☆60Updated 6 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- Interpreter/compiler for a 2D esoteric language☆12Updated 10 years ago
- dependent type theory experiment☆26Updated last year
- Higher-order optimization library☆76Updated 2 years ago
- Source code error pretty printing☆49Updated 8 months ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 6 months ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 6 months ago
- Arend plugin for IntelliJ IDEA☆93Updated 6 months ago
- Horn Clause Constraint Solving for Liquid Types☆151Updated 2 weeks ago