|
TypeScript |
2 |
wxml parser and serializer. |
Jul 01, 2022 |
|
C |
2 |
CoAP parser and serializer for C |
Jan 16, 2023 |
|
C# |
63 |
vCard Serializer and Parser for C# |
Dec 22, 2022 |
|
Prolog |
2 |
Prolog yaml parser and serializer |
Oct 14, 2018 |
|
Idris |
6 |
Idris wrapper for jgm's Markdown parser |
Sep 30, 2019 |
|
Rust |
4 |
Parser and serializer for the Turtle format |
Mar 01, 2022 |
|
Elixir |
4 |
Parser and serializer for Session Description Protocol |
Nov 30, 2021 |
|
PHP |
2 |
An HTML5 parser and serializer for PHP. |
Jun 28, 2016 |
|
HTML |
1097 |
An HTML5 parser and serializer for PHP. |
Oct 19, 2022 |
|
C# |
2 |
CSON parser, serializer and deserializer for .NET |
Nov 26, 2018 |
|
JavaScript |
6 |
🔬JavaScript parser, executor and serializer |
Mar 25, 2022 |
|
Java |
9 |
JSON parser and serializer in Java. |
Oct 14, 2022 |
|
TypeScript |
24 |
KTX 2.0 (.ktx2) parser and serializer. |
Oct 11, 2022 |
|
JavaScript |
2 |
JSON front matter parser and serializer |
Jun 10, 2018 |
|
TypeScript |
13 |
Ultrafast BSON typescript serializer and parser |
Mar 22, 2022 |
|
C# |
2 |
Single file Json parser and serializer |
Jan 29, 2023 |
|
Python |
12 |
RDF/JSON parser and serializer plugins for RDFLib |
Sep 01, 2020 |
|
Python |
274 |
JSON-LD parser and serializer plugins for RDFLib |
Aug 22, 2022 |
|
C++ |
7 |
A lightweight JSON parser and serializer for Qt5 |
Feb 26, 2023 |
|
JavaScript |
2 |
Parser and serializer for IPLD URLs in JavaScript |
Mar 04, 2023 |
|
Idris |
4 |
Selective functors in Idris |
Sep 25, 2020 |
|
Idris |
4 |
Refutation and paraconsistent calculi |
Dec 12, 2020 |
|
Idris |
4 |
Think Bayes in Idris |
Feb 24, 2020 |
|
Idris |
4 |
Removes trailing whitespace from .idr files and makes sure they end with exactly one newline. |
Dec 17, 2021 |
|
Idris |
4 |
None |
Dec 17, 2021 |
|
Idris |
4 |
Efficient, stack-safe implementation of freer monads. |
Dec 17, 2021 |
|
Idris |
4 |
Sparse, simple graphs in Idris2 |
Jun 26, 2022 |
|
Idris |
4 |
None |
Jan 04, 2020 |
|
Idris |
4 |
SDL2 binding for Idris |
Jan 07, 2021 |
|
Idris |
4 |
Idris bindings for libsodium |
Dec 13, 2019 |
|
Idris |
5 |
Trees in Idris |
Jan 06, 2021 |
|
Idris |
5 |
Logical relations and normalisation |
Feb 17, 2021 |
|
Idris |
5 |
Extensible,stack safe effects for Idris2 |
Jun 14, 2022 |
|
Idris |
5 |
None |
May 01, 2022 |
|
Idris |
5 |
An IO streaming library for Idris2 |
May 01, 2022 |
|
Idris |
5 |
Hash-array map tries in Idris2 |
May 07, 2022 |
|
Idris |
5 |
Interfaces for heyting algebras and verified bounded join and meet semilattices |
Feb 27, 2021 |
|
Idris |
6 |
Explicit substitution calculi |
Mar 29, 2021 |
|
Idris |
6 |
Axioms and Propositions for Primitives in Idris2 |
Jul 14, 2022 |
|
Idris |
6 |
An implementation of the Lambda Cube in Idris. |
Sep 17, 2019 |
|
Idris |
7 |
Experiments with dependent modal types |
Sep 13, 2019 |
|
Idris |
7 |
Experimental TodoMVC implementation in Idris2 using rhone-js |
Apr 23, 2022 |
|
Idris |
7 |
Small async library for idris2, inspired by purescript-aff |
Nov 24, 2021 |
|
Idris |
7 |
Following along with the paper "The Practical Guide to Levitation" by Ahmad Salim Al-Sibahi |
Jun 08, 2020 |
|
Idris |
7 |
Evaluating & benchmarking ZKP compilation strategies. |
Sep 08, 2022 |
|
Idris |
8 |
Specifications for the Anoma protocols. |
Jun 28, 2022 |
|
Idris |
9 |
Interface for types that can be hashed. |
Apr 28, 2022 |
|
Idris |
9 |
Idris 2 static web blog generator. More like proof of concept, everything could change, not … |
May 25, 2022 |
|
Idris |
9 |
Concurrent IO language with Uniqueness Types |
Feb 24, 2020 |
|
Idris |
10 |
Idris2 Rust backend |
Feb 04, 2022 |