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:
- ☆30Updated last 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
- Language Server for Idris2☆184Updated last month
- Purescript compiler back-end for Lua☆58Updated 3 months ago
- ☆38Updated 7 months ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- A functional programming language with shell scripting capabilities☆131Updated last month
- A library for writing discord bots in haskell☆123Updated 8 months ago
- An automated tutorial to teach you about Haskell!☆181Updated 2 years ago
- Source Code from "Making Music with Haskell" video☆140Updated 5 years ago
- For parts of https://www.ats-lang.org☆26Updated 7 months ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 6 years ago
- A free and opensource platform for studying the artificial language Lojban.☆94Updated 2 weeks ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Updated 8 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- Macros have types!☆134Updated 2 years ago
- ☆123Updated 3 weeks ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Source code error pretty printing☆50Updated last year
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 7 months ago
- Flake template for Haskell repository☆38Updated last year
- Change-aware static site generator for Haskell programmers☆126Updated 2 months ago
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- Vim mode for Idris 2☆78Updated 3 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- John Tromp homepage☆29Updated last week
- Haskell Playground☆157Updated last week
- ☆55Updated last year
- Source code for haskle.net☆30Updated 2 years ago