Programming in Haskell by Graham Hutton
☆17Nov 28, 2014Updated 11 years ago
Alternatives and similar repositories for programming-in-haskell
Users that are interested in programming-in-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My Solutions for Programming in Haskell by Graham Hutton☆16Mar 16, 2016Updated 10 years ago
- Using higher Order Markov Modells and Clustering to compose melodies similar to a training data set☆14May 17, 2017Updated 9 years ago
- 微信公众平台服务器开发工具☆10Aug 24, 2023Updated 2 years ago
- Songle Widget API Examples☆18Jul 26, 2016Updated 9 years ago
- ☆40Aug 5, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This is a presentation about haskell's type families.☆16May 17, 2018Updated 8 years ago
- forth-assembler for AVR☆15Jan 13, 2020Updated 6 years ago
- ☆11Nov 17, 2018Updated 7 years ago
- code tidbits from my blog posts☆13Feb 2, 2017Updated 9 years ago
- Simple data compression with python 3☆15Mar 2, 2018Updated 8 years ago
- Haskell module for working with genetic algorithms☆18Nov 10, 2011Updated 14 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- This repository holds a working copy of Technische Hochschule Ingolstadt's(THI's) Latex thesis template which can be used as quick starti…☆16May 19, 2022Updated 4 years ago
- Variational autoencoder, denoising autoencoder and other variations of autoencoders implementation in keras☆15Dec 7, 2017Updated 8 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.
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- Nakasendo SDK installed on a CentOS container - Only supports c++ for now☆11Nov 4, 2019Updated 6 years ago
- Code for "Extracting Ground Truth Information from MIDI Files: A MIDIfesto"☆19Aug 9, 2016Updated 9 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Sep 10, 2020Updated 5 years ago
- A portal into bitcoin wonderland☆17Oct 29, 2018Updated 7 years ago
- sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者☆13Mar 14, 2025Updated last year
- ☆10Sep 25, 2019Updated 6 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 9 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- NestJS sample implementations. Solutions to defined Problem Statements.☆13Mar 10, 2021Updated 5 years ago
- A wrapper around the JSON-RPC provided by the bitcoin/litecoin☆13Nov 9, 2017Updated 8 years ago
- Operate command line utility to help author and publish Ops to the blockchain.☆12Mar 22, 2022Updated 4 years ago
- Authentication using python requests and MSAL. This uses the MSAL cache for repeated requests.☆15Jul 15, 2026Updated last week
- A Java library for fingerprinting music files, assigning unique URIs to them, and matching them to unknown audio clips.☆23Apr 11, 2014Updated 12 years ago
- A React zkSNARK Battleship game☆12Jan 9, 2024Updated 2 years ago
- ☆15Feb 14, 2024Updated 2 years ago
- CUTP Contracts☆11Mar 9, 2021Updated 5 years ago
- ☆14Aug 28, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Sep 8, 2024Updated last year
- Probabilistic inference for models of behaviour☆13Mar 5, 2026Updated 4 months ago
- This project provides a docker image to run a jupyter notebook server with essentia, freesound-python and a set of python dependencies co…☆23Jan 14, 2022Updated 4 years ago
- Algorithmic musical phrase generator☆29Feb 26, 2021Updated 5 years ago
- Ethereum miner with OpenCL, CUDA and stratum support☆10Jan 16, 2023Updated 3 years ago
- Source code to support Java Magazine article☆15Jan 16, 2017Updated 9 years ago
- This R code implements the GSPPCA algorithm for high-dimensional unsupervised feature selection.☆10Jul 29, 2025Updated 11 months ago