haskellcats / haskell-operatorsLinks
☆35Updated 2 years ago
Alternatives and similar repositories for haskell-operators
Users that are interested in haskell-operators are comparing it to the libraries listed below
Sorting:
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆61Updated this week
- IDE support for the functional logic programming language Curry☆35Updated 3 months ago
- Who Wants to Be a Millionaire - but with types☆89Updated 2 years ago
- ☆38Updated 7 months ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A library for writing discord bots in haskell☆123Updated 8 months ago
- Language Server for Idris2☆187Updated last month
- ☆199Updated 7 months ago
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆143Updated 5 years ago
- An automated tutorial to teach you about Haskell!☆182Updated 2 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- a categorical programming language (WIP)☆15Updated 3 years ago
- Purescript compiler back-end for Lua☆58Updated 3 months ago
- Haskell-style monads in Rust.☆27Updated 2 years ago
- For parts of https://www.ats-lang.org☆26Updated 7 months ago
- Haskell library for parsing and evaluating typst☆68Updated last week
- ☆30Updated this week
- Source code error pretty printing☆50Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆54Updated 3 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43Updated 9 years ago
- A functional programming language with shell scripting capabilities☆131Updated last month
- 🌐 A Haskell binding to the webview library created by Serge Zaitsev.☆126Updated 4 years ago
- Haskell library for writing Discord bots☆285Updated 5 months ago
- A PureScript web UI framework☆152Updated 10 months ago
- Type-level interfaces for type-level design in Rust☆25Updated last year
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆199Updated 2 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 7 years ago
- Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)☆45Updated last month