chrisdone-archive / inflexLinks
Pure, statically typed, content-addressable, programming language for spreadsheet use
☆28Updated 2 years ago
Alternatives and similar repositories for inflex
Users that are interested in inflex are comparing it to the libraries listed below
Sorting:
- ☆16Updated 2 years ago
- 📺 The power of Haskell in your terminal!☆43Updated last month
- ☆41Updated last year
- Javascript DOM bindings for Idris2☆52Updated last year
- Type-safe WebAssembly eDSL in Haskell☆27Updated 8 months ago
- ☆23Updated 11 months ago
- Linear lens☆20Updated last year
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated last month
- Embedding of python interpreter into haskell programs☆13Updated last month
- Registry of PureScript packages and metadata about them☆47Updated this week
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Functor-parametric containers☆20Updated 5 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Algebraic effects in the Bluefin effect system☆18Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 10 months ago
- The PureScript Package Manager in Nix☆57Updated 5 months ago
- Source material for Certainty by Construction☆43Updated last year
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆39Updated last month
- ☆19Updated last month
- Material for Haskell training☆34Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Data structures for describing changes to other data structures.☆17Updated 5 months ago
- Spreadsheet management application on Halogen☆27Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Reimplementation of a subset of Cabal☆30Updated this week
- Session types framework with support of protocol pipelining.☆15Updated last week
- ☆22Updated 7 months ago
- ☆30Updated 3 weeks ago