silky / ideasLinks
various ideas
☆21Updated 8 years ago
Alternatives and similar repositories for ideas
Users that are interested in ideas are comparing it to the libraries listed below
Sorting:
- Arbitrary precision numbers for PureScript☆13Updated 4 months ago
- Physical quantities and units☆52Updated 2 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 6 years ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆142Updated 10 months ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json☆64Updated 7 years ago
- README files used to be able to lie. Now they can't! Woo!☆38Updated 4 years ago
- ☆35Updated 12 years ago
- git protocol and storage in pure haskell☆67Updated 4 years ago
- Simple terminal string styling in Haskell.☆12Updated 9 years ago
- PureScript language support for the Atom editor☆36Updated 11 months ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago
- A tiny CI server built around GitHub and Nix☆135Updated 8 years ago
- Principled functional programming for JS☆17Updated 3 years ago
- React bindings for GHCJS☆48Updated 10 years ago
- The jqsh scripting language☆13Updated 10 years ago
- Type-safe data versioning.☆98Updated last month
- Port of asciimoo/drawille to haskell.☆27Updated 2 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 8 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Updated 5 years ago
- ☆34Updated 2 years ago
- Small utility that runs multiple computations in parallel☆41Updated 5 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Render hierarchical git repositories into HTML☆74Updated last year
- A reversible language☆22Updated 7 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Generate nix expressions to build npm packages☆57Updated 8 years ago
- Code for my blog post "Generating Mazes with Inductive Graphs"☆41Updated 7 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Get a GUI fast in any language under the sea!☆47Updated 3 years ago