|
|
PureScript |
35 |
A type class which captures stack-safe monadic tail recursion |
Mar 14, 2022 |
|
|
Elixir |
2 |
Elixir algorithm exercise to practice recursion using TCO (Tail Call Optimization) |
Oct 17, 2021 |
|
|
JavaScript |
13 |
Trampolines, to emulate tail-recursion. |
Jul 24, 2021 |
|
|
Idris |
5 |
Total lexer and parser for Idris2 |
Apr 02, 2023 |
|
|
C# |
6 |
C# implement trampolin to tail recursion |
Feb 09, 2022 |
|
|
Perl |
10 |
tail call modifier |
Aug 13, 2019 |
|
|
Rust |
103 |
Safe, zero-cost tail recursion for stable Rust |
May 10, 2023 |
|
|
Emacs Lisp |
8 |
Tail call optimization for Emacs. |
Jan 10, 2022 |
|
|
Python |
4 |
Tail call optimization for Python. |
Aug 15, 2020 |
|
|
Python |
217 |
Tail Call Optimization for Python |
May 25, 2023 |
|
|
Emacs Lisp |
75 |
Tail call optimisation in Emacs lisp |
Dec 03, 2022 |
|
|
Common Lisp |
7 |
A simple macro to optimize a function for tail recursion |
Aug 16, 2022 |
|
|
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 |
Experimental normalisation via scheme |
Oct 06, 2021 |
|
|
Idris |
13 |
Experiments with modal types |
Oct 20, 2020 |