brainrake Marton Boros
github.com/brainrake · maintains 72 packages (72 directly), sole maintainer of 69, member of 0 teams
72 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Primitive flat arrays containing Idris values |
2016-10-14 |
1 | 5 | 0 | 0 | single | ||
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq |
2018-06-25 |
1 | 7 | 1 | 1 | single | ||
Small bifunctor library for idris |
2017-02-07 |
1 | 5 | 4 | 4 | single | ||
FFI-based byte buffers for Idris |
2018-02-10 |
1 | 5 | 1 | 1 | single | ||
Idris FFI binding for html5 canvas 2d api |
2017-11-09 |
1 | 5 | 0 | 0 | single | ||
Category Theory |
2018-07-02 |
1 | 5 | 0 | 0 | single | ||
Some Idris libraries including nodejs bindings and ISO8601 Date and Time |
2018-01-25 |
1 | 5 | 0 | 0 | single | ||
Comonads for Idris |
2018-02-26 |
1 | 5 | 1 | 1 | single | ||
Composition extras for Idris |
2017-11-12 |
1 | 6 | 1 | 1 | single | ||
Parsers for various configuration files written in Idris |
2017-11-06 |
1 | 9 | 0 | 0 | single | ||
Idris library to interact with the browser console |
2017-04-20 |
1 | 8 | 0 | 0 | single | ||
Various data structures for use in the Idris Language |
2017-09-10 |
1 | 7 | 1 | 1 | single | ||
Implementation of the Lambda Cube in Idris |
2017-07-05 |
1 | 5 | 0 | 0 | single | ||
Type class deriving with elaboration reflection |
2018-07-02 |
1 | 7 | 0 | 0 | single | ||
Dict k v in Idris |
2016-12-26 |
1 | 6 | 0 | 0 | single | ||
Idris library to interact with the DOM |
2017-04-22 |
1 | 8 | 0 | 0 | single | ||
Electron bindings for Idris |
2016-03-07 |
1 | 8 | 0 | 0 | single | ||
Infix pipe operators and some Nat, Float, String conversions |
2018-07-02 |
1 | 6 | 0 | 0 | single | ||
Arrowized FRP library for Idris with static safety guarantees |
2018-02-13 |
1 | 6 | 0 | 0 | single | ||
Free Monads and useful constructions to work with them |
2017-07-03 |
1 | 5 | 1 | 1 | single | ||
Comonads for Idris |
2017-04-16 |
1 | 5 | 0 | 0 | single | ||
GLFW bindings for Idris |
2016-12-05 |
1 | 8 | 0 | 0 | single | ||
Parser and library for graphviz dot files |
2017-01-16 |
1 | 6 | 0 | 0 | single | ||
Idris Hash Array Mapped Trie |
2016-11-15 |
1 | 7 | 0 | 0 | single | ||
Theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features |
2018-02-03 |
1 | 5 | 2 | 2 | single | ||
Idris library for high resolution time |
2017-04-16 |
1 | 6 | 2 | 3 | single | ||
Idris library to interact with HTML |
2017-04-23 |
1 | 8 | 1 | 1 | single | ||
HTTP library for idris |
2018-02-25 |
1 | 8 | 0 | 0 | single | ||
Experimental HTTP framework for Idris |
2018-01-16 |
1 | 6 | 0 | 0 | single | ||
Recursion scheme library for Idris |
2017-11-10 |
1 | 6 | 0 | 0 | single | ||
Semantic highlighter for Idris code |
2018-02-22 |
1 | 7 | 0 | 0 | single | ||
FFI Bindings to interact with the unsafe world of JavaScript |
2017-07-01 |
1 | 5 | 6 | 6 | single | ||
Parser for Idris iPkg files written in Idris using Lightyear |
2017-11-14 |
1 | 8 | 0 | 0 | single | ||
Some useful functions for Idris |
2018-03-06 |
1 | 6 | 2 | 2 | single | ||
Js library for Idris |
2016-03-09 |
1 | 7 | 1 | 1 | single | ||
Js libraries for idris |
2018-11-27 |
1 | 7 | 0 | 0 | single | ||
van Laarhoven lenses for Idris |
2017-09-25 |
1 | 6 | 0 | 0 | single | ||
Parser combinators for Idris |
2017-09-10 |
2 | 6 | 8 | 8 | maintained | ||
Propositional logic tools, inspired by the Coq standard library |
2016-12-02 |
1 | 6 | 0 | 0 | single | ||
Idris mapping library |
2018-02-27 |
1 | 5 | 0 | 0 | single | ||
Binding of the GNU libmicrohttpd library to the Idris C backend |
2016-04-22 |
1 | 8 | 0 | 0 | single | ||
Proof that Idris is pacman complete |
2017-11-10 |
1 | 7 | 0 | 0 | single | ||
Immutable map from integer keys to values based on patricia tree. Basically persistent array |
2017-10-27 |
1 | 6 | 1 | 1 | single | ||
Type-safe way of working with permutations in Idris |
2018-01-19 |
1 | 5 | 0 | 0 | single | ||
Purely functional data structures in Idris |
2017-09-25 |
1 | 6 | 0 | 0 | single | ||
Composable and effectful production, transformation and consumption of streams of data |
2017-12-02 |
1 | 5 | 0 | 0 | single | ||
System POSIX bindings for Idris |
2017-11-18 |
1 | 5 | 0 | 0 | single | ||
Idris rational number type built from paths in the Stern Brocot tree |
2017-04-29 |
1 | 6 | 0 | 0 | single | ||
Recursion schemes for Idris |
2018-01-19 |
1 | 10 | 0 | 0 | single | ||
Port of Scala/Haskell Refined library to Idris |
2017-12-28 |
1 | 5 | 0 | 0 | single | ||
SDL2 binding for Idris |
0.1.1 |
2 | 9 | 1 | 1 | maintained | ||
Semidirect products in Idris |
2018-07-02 |
1 | 7 | 0 | 0 | single | ||
Idris proofs for extensional equalities |
2018-06-18 |
1 | 6 | 0 | 0 | single | ||
Well-typed symmetric-monoidal category of concurrent processes |
2018-02-08 |
1 | 6 | 0 | 0 | single | ||
Collection of Idris snippets |
2018-03-17 |
1 | 6 | 0 | 0 | single | ||
Code for Software Foundations in Idris |
2017-11-04 |
1 | 6 | 0 | 0 | single | ||
Simple TAP producer and consumer/reporter for Idris |
2017-04-08 |
1 | 6 | 0 | 0 | single | ||
Testing Utilities for Idris programs |
2017-03-30 |
1 | 6 | 2 | 2 | single | ||
Idris parser and serializer/deserealizer for TL language |
2017-13-26 |
1 | 8 | 0 | 0 | single | ||
TOML parser for Idris |
2017-11-14 |
2 | 7 | 0 | 0 | maintained | ||
Strongly Typed Paths for Idris |
2017-08-15 |
1 | 5 | 0 | 0 | single | ||
TParsec - Total Parser Combinators in Idris |
2020-02-11 |
1 | 6 | 0 | 0 | single | ||
Composable algorithmic transformation |
2017-07-28 |
1 | 5 | 0 | 0 | single | ||
Trees in Idris |
2018-03-19 |
1 | 7 | 0 | 0 | single | ||
UnionType in Idris |
2018-01-30 |
1 | 5 | 0 | 0 | single | ||
Virtual DOM in pure Idris |
0.6.0 |
1 | 5 | 0 | 0 | single | ||
Abstract vector spaces in Idris |
2018-01-12 |
1 | 6 | 0 | 0 | single | ||
Idris library to interact with WebGL |
2017-05-08 |
1 | 6 | 2 | 3 | single | ||
Little web server written in Idris |
2017-06-26 |
1 | 7 | 0 | 0 | single | ||
Idris library to interact with xhr |
2017-04-22 |
1 | 6 | 1 | 1 | single | ||
Idris YAML lib |
2018-01-25 |
1 | 7 | 0 | 0 | single | ||
Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
2016-07-05 |
1 | 6 | 0 | 0 | single |