Lysxia / roll-your-own-irc-botLinks
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot
☆14Updated last year
Alternatives and similar repositories for roll-your-own-irc-bot
Users that are interested in roll-your-own-irc-bot are comparing it to the libraries listed below
Sorting:
- Reference counting with linear types☆31Updated last month
- Source of metamath book☆52Updated 2 years ago
- A functional fluent API generator☆35Updated 3 years ago
- Haskell Tiny Game Jam☆170Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- 📚 A collection of resources about supercompilation☆128Updated 5 months ago
- ☆35Updated 3 weeks ago
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 5 months ago
- ☆36Updated this week
- The adventures of a Haskell compiler☆236Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- ☆40Updated 2 years ago
- Create Excel files with Haskell☆11Updated 5 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 3 years ago
- Convert Haskell source code to Coq source code.☆93Updated 6 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- 😎TT☆238Updated last month
- A formal logic framework that runs in the browser☆323Updated last year
- Text generation language☆34Updated 3 months ago
- Embedding of python interpreter into haskell programs☆14Updated 8 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆386Updated 2 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆131Updated 4 months ago
- A formal consistency proof of Quine's set theory New Foundations☆77Updated 6 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆412Updated this week
- The Haskell Optimization Handbook☆183Updated 9 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago