raviksharma / bartosz-basics-of-haskell
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
☆487Updated 4 years ago
Alternatives and similar repositories for bartosz-basics-of-haskell:
Users that are interested in bartosz-basics-of-haskell are comparing it to the libraries listed below
- A bare-bones Twitter clone implemented in a single file☆728Updated last week
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆469Updated last year
- ACT community resources☆469Updated 5 years ago
- An intuitive and visual guide to understanding Maxwell's equations.☆792Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- !!Con West 2019 talk☆351Updated 4 years ago
- a challenge for Haskell beginners☆452Updated last year
- learn awk by example☆738Updated 3 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆304Updated last year
- Faster, simpler and more portable implementation of `jq` in Reason☆592Updated last year
- breathe is a (distraction-free) peripheral breath trainer, it helps you breathe correctly so you can stay calm and focus on what matters.…☆266Updated 2 years ago
- A lisp rosetta stone to demonstrate modern language features☆169Updated 2 years ago
- A book about category theory☆412Updated last week
- A free book: "The Science of Functional Programming"☆1,430Updated last week
- TopShell - a purely functional, reactive scripting language☆479Updated 3 years ago
- 🂺 A Multiplayer Poker App Crafted with Haskell and React☆308Updated 10 months ago
- ☆518Updated last year
- A programming language with static memory management based on λ-calculus☆996Updated last month
- Differentiation for Hackers☆772Updated 3 years ago
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- Web clipper browser extension for saving highlights, screenshots, and automatically extracting content from web pages.☆372Updated 3 years ago
- ☆89Updated 4 years ago
- posts and code related to personal studies☆372Updated 5 months ago
- 💎 beautiful website generator aimed at math-heavy sites☆331Updated 7 months ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,004Updated last year
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 5 months ago
- Application of formal systems to model biological systems☆472Updated 2 years ago