bangalore-haskell-user-group / functorrentView external linksLinks
A bit torrent client
☆18Nov 29, 2018Updated 7 years ago
Alternatives and similar repositories for functorrent
Users that are interested in functorrent are comparing it to the libraries listed below
Sorting:
- A tiny scheme interpreter in Haskell☆24Jul 14, 2019Updated 6 years ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 3 months ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- phantom types☆39Jan 3, 2026Updated last month
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Nov 29, 2021Updated 4 years ago
- Simplify usage of nix dependencies during haskell development☆32May 9, 2019Updated 6 years ago
- ☆29Oct 23, 2019Updated 6 years ago
- ghc --make reimplemented with Shake☆32Sep 29, 2023Updated 2 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- General tools for Neil☆38Feb 2, 2025Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Cochlear sound spectrum☆37Feb 29, 2020Updated 5 years ago
- Ocaml From The Very Beginning solved with Reason instead of Ocaml☆37May 30, 2018Updated 7 years ago
- Notes and handouts from OPLSS 2019☆34Jun 28, 2019Updated 6 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- mojito☆12May 1, 2018Updated 7 years ago
- Design documentation for Helix, the Rackspace Design System☆11Oct 5, 2022Updated 3 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- Spanish text summarization demo using CoreNLP☆10Sep 13, 2014Updated 11 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- ☆11Aug 17, 2014Updated 11 years ago
- Parses Facebook chat messages into Python objects to enable convenient analysis.☆11Jan 3, 2018Updated 8 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A SAT solver written in Haskell.☆39Oct 7, 2018Updated 7 years ago
- ☆47Oct 1, 2017Updated 8 years ago
- Jasmine "lnishan" Chen's Curriculum Vitae (CV) in Markdown☆10May 23, 2018Updated 7 years ago