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☆20Updated 2 months ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last month
- Haskell Package Version Policy (PVP)☆38Updated 9 months ago
- Deep evaluation of data structures☆41Updated 8 months ago
- pointed and copointed data☆23Updated 3 months ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Monad morphisms☆50Updated 2 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- A type inhabited by finitely many values, indexed by type-level naturals.☆11Updated last month
- Bit twiddling and bitwise serialization primitives☆15Updated 3 years ago
- Label dependent dependent session types☆16Updated last year
- phantom types☆38Updated 4 months ago
- MPFR bindings for Haskell☆34Updated last year
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last month
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Experiments in formalizing refinement type systems in Coq☆18Updated 9 years ago
- Compression and decompression in the gzip and zlib formats☆37Updated this week
- deprecated by `design-tools`☆17Updated 6 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Updated 3 months ago
- A dependently typed programming language, and verification tool☆26Updated 9 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- ☆35Updated 6 years ago