silky / ideasLinks
various ideas
☆21Updated 7 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 3 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago
- The jqsh scripting language☆12Updated 9 years ago
- Physical quantities and units☆53Updated last year
- A lambda calculus to explore type-directed program synthesis.☆85Updated 5 years ago
- ☆35Updated 11 years ago
- README files used to be able to lie. Now they can't! Woo!☆38Updated 4 years ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- Property-based testing a'la QuickCheck for TypeScript and JavaScript☆20Updated 4 years ago
- PureScript language support for the Atom editor☆35Updated 5 months ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- Small utility that runs multiple computations in parallel☆41Updated 5 years ago
- Thoughts and stuff☆70Updated 5 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- A tiny CI server built around GitHub and Nix☆134Updated 7 years ago
- Programming Language meets UI☆51Updated 7 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Updated 7 years ago
- Exercism exercises in PureScript.☆38Updated 3 weeks ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- Simple plotting tool for the terminal☆86Updated last year
- React bindings for GHCJS☆48Updated 10 years ago
- A simple library for defining ADTs☆15Updated last year
- Type-safe data versioning.☆98Updated last year
- ☆21Updated 4 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json☆64Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Diagrams standard library☆139Updated last month
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 6 years ago