vmchale / dickinsonLinks
Text generation language
☆34Updated last month
Alternatives and similar repositories for dickinson
Users that are interested in dickinson are comparing it to the libraries listed below
Sorting:
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 2 months ago
- Command line interface library in Idris☆31Updated last year
- Package manager for Idris☆37Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 3 months ago
- Dhall bindings for Idris☆41Updated 8 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- high-powered optics in a small package☆53Updated 10 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Idris port of Haskell's sop-core library☆36Updated 2 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- ☆40Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 3 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 5 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆40Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 6 months ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago