chrisdone-archive / inflex
Pure, statically typed, content-addressable, programming language for spreadsheet use
☆27Updated 2 years ago
Alternatives and similar repositories for inflex
Users that are interested in inflex are comparing it to the libraries listed below
Sorting:
- Type-safe WebAssembly eDSL in Haskell☆26Updated 6 months ago
- Algebraic effects in the Bluefin effect system☆16Updated last year
- 📺 The power of Haskell in your terminal!☆42Updated last month
- Embedding of python interpreter into haskell programs☆11Updated last week
- ☆41Updated last year
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆14Updated last week
- ☆23Updated 9 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- ☆16Updated 2 years ago
- Javascript DOM bindings for Idris2☆53Updated 11 months ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Data structures for describing changes to other data structures.☆17Updated 3 months ago
- ☆19Updated last week
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- Source material for Certainty by Construction☆41Updated last year
- A library for benign effects in Haskell☆20Updated 3 months ago
- A cross-platform driver for Tauri in Haskell☆50Updated 10 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- Order theory☆24Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- todo and unimplemented, robustly implemented☆33Updated 8 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 9 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆38Updated 3 months ago
- ☆12Updated 4 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- functional spreadsheet programming☆19Updated last month