|
Haskell |
340 |
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation … |
Aug 15, 2022 |
|
JavaScript |
11 |
A math library with a focus on mutable and immutable linear algebra for 2D and … |
Feb 08, 2022 |
|
Java |
2 |
Implementation of mutable and immutable datastructures in Java |
Nov 06, 2021 |
|
Elm |
16 |
An immutable approach to mutable references. |
May 18, 2022 |
|
JavaScript |
19 |
Immutable versions of normally mutable array methods |
Mar 09, 2023 |
|
JavaScript |
1799 |
✍️ Immutable state with a mutable API |
May 02, 2023 |
|
OCaml |
25 |
Fast, safe mutable dynamic arrays for OCaml |
Aug 02, 2022 |
|
TypeScript |
17 |
Efficient update react state immutable with mutable way. |
Mar 24, 2023 |
|
JavaScript |
9 |
Transmutable - immutable objects that pretend to be mutable |
Jul 27, 2021 |
|
JavaScript |
208 |
Immutable objects and arrays in a natural way |
Jan 13, 2022 |
|
JavaScript |
2 |
:hocho: Immutable splice function for arrays and strings. |
Sep 14, 2022 |
|
Ruby |
3 |
Demonstrates two types of applications versioning - mutable and immutable using Stackato |
Jan 22, 2018 |
|
Python |
14 |
Typed mutable SSZ views over cached and immutable binary merkle trees |
Mar 07, 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 |
6 |
Idris wrapper for jgm's Markdown parser |
Sep 30, 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 parser and serializer/deserealizer for TL language |
Nov 15, 2019 |
|
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 |
|
Idris |
10 |
Automatically derivable JSON marshallers in the spirit of Haskell's aeson |
Apr 28, 2022 |
|
Idris |
11 |
None |
Aug 05, 2022 |
|
Idris |
12 |
Golden tests for command-line interfaces. |
Feb 25, 2022 |
|
Idris |
12 |
Experiments with linear types |
Jul 09, 2019 |
|
Idris |
12 |
Provably total, tail-call optimized monadic recursion in Idris2 |
May 19, 2022 |