Learn Haskell
☆19Jul 1, 2014Updated 12 years ago
Alternatives and similar repositories for learnhaskell
Users that are interested in learnhaskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆30Jan 13, 2017Updated 9 years ago
- A library ensuring type safety when decoding JSON data inspired by Elm☆14Jan 3, 2023Updated 3 years ago
- 🎨 280 handpicked colors in 14 palettes for Elm UI, elm/html and others☆10Mar 6, 2023Updated 3 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- This is the global manifest for Parrot Ground SDK.☆12Jun 6, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- N32B desktop editor☆11Jan 20, 2022Updated 4 years ago
- The pitched audio knife - VST effect with various midi note controlled filters (lowpass, hipass, comb, decimator, granulator, digital wav…☆14Mar 22, 2022Updated 4 years ago
- Editor for making simple bandlimited waveform SVGs☆17May 25, 2015Updated 11 years ago
- A simple LED sequencer based Graduation Cap☆14Jul 16, 2022Updated 4 years ago
- ☆12Nov 26, 2024Updated last year
- A set of core libraries for useful DSP related classes that are used by multiple White Elephant Audio VSTs and Audio Units☆15Apr 18, 2026Updated 3 months ago
- MCP server for Nordic grocery deal hunting via the Tjek API (Denmark, Norway, Sweden, Finland)☆19Updated this week
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Advanced JavaScript Patterns☆16Sep 10, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A discouraging story.☆18May 8, 2018Updated 8 years ago
- A collection of digital signal processing concepts explored in Python.☆13Dec 14, 2015Updated 10 years ago
- Native charts library for Elm☆22Dec 12, 2019Updated 6 years ago
- A step-by-step introduction to ROS2 on the Create3.☆10May 20, 2022Updated 4 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- a simple cross-platform resource compiler for c++ projects☆16Nov 26, 2017Updated 8 years ago
- ☆18Feb 27, 2020Updated 6 years ago
- A portable linker for multiple file formats.☆19Aug 28, 2023Updated 2 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 4 years ago
- Monophonic additive synth written in C++. VSTi version + stand-alone player included.☆19Apr 7, 2010Updated 16 years ago
- Final year project (Heart disease prediction using machine learning techniques)☆13Dec 3, 2024Updated last year
- Examples for ARM Lecture☆15Aug 7, 2014Updated 11 years ago
- Lecture notes and code from class☆16Jun 12, 2017Updated 9 years ago
- A modular component system for building complex instruments, effects, and audio signal graphs using the WebAudio API.☆18Mar 31, 2016Updated 10 years ago
- Modern Compiler Implementation in ML☆10May 7, 2017Updated 9 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- An explanation of the JavaScript Standard Style☆12Sep 21, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository for the course "Sensor Fusion and Non-Linear Filtering"☆13Mar 24, 2020Updated 6 years ago
- Code and benchmark of the paper "MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents" (NeurIPS D&B 2025)☆15Oct 13, 2025Updated 9 months ago
- Lisp compiler in F#☆24Nov 27, 2010Updated 15 years ago
- Material to do a talk on synths with a live-coding side, possibly in Singapore☆22Jun 30, 2022Updated 4 years ago
- Attempt to Implement GraphSlam as articulated in Girogio Grisetti's Paper "A Tutorial on Graph-Based Slam"☆14Jun 13, 2018Updated 8 years ago
- ☆22Jun 15, 2023Updated 3 years ago
- Source code for packages under active development (not stable)☆16Apr 13, 2016Updated 10 years ago