dreamsmasher / is-evenLinks
A Haskell library to verify if a number is even.
☆10Updated 2 years ago
Alternatives and similar repositories for is-even
Users that are interested in is-even are comparing it to the libraries listed below
Sorting:
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- Source Code for JSON Parser Video☆195Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- agda-mode for neovim☆168Updated 3 weeks ago
- Haskell implemented with combinators☆642Updated this week
- Source Code from "Making Music with Haskell" video☆141Updated 5 years ago
- Code challenges to solve with Haskell☆179Updated last month
- Interactive Coq Proofs in Vim☆305Updated 2 weeks ago
- A functional programming language with shell scripting capabilities☆123Updated 4 months ago
- A library for writing discord bots in haskell☆123Updated 5 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆43Updated 10 months ago
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago
- Total Surveillance Automatic Ban Machine for Twitch and Discord☆145Updated 5 years ago
- A garden of small programming language implementations 🪴☆292Updated this week
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆430Updated 3 weeks ago
- A prompt engineering functional programming language☆470Updated this week
- A series of down-to-earth articles on implementing type inference☆161Updated 5 years ago
- Haskell Tiny Game Jam☆171Updated 2 years ago
- Haskell library for writing Discord bots☆286Updated 3 months ago
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆472Updated this week
- An ML-like functional programming language☆341Updated 4 years ago
- The Happy parser generator for Haskell☆313Updated 3 months ago
- Inspired by typelang, a lisp implemented in typescript's type engine☆13Updated last year
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Minimal implementations for dependent type checking and elaboration☆742Updated 3 months ago
- A categorical programming language with effects☆289Updated 2 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆638Updated last year
- Advent of Code complete solution archive and common library☆46Updated 3 weeks ago
- NeoVim plugin for interacting with Agda written in Lua☆19Updated last year