twitter clone in haskell
☆12Mar 4, 2016Updated 10 years ago
Alternatives and similar repositories for qwu
Users that are interested in qwu are comparing it to the libraries listed below
Sorting:
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.☆19May 15, 2015Updated 10 years ago
- The voting application for moderation elections.☆11May 18, 2017Updated 8 years ago
- Pad a string to the left with any number of characters.☆12Mar 23, 2016Updated 9 years ago
- javascript lenses☆15Jan 26, 2015Updated 11 years ago
- ☆11Aug 12, 2015Updated 10 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Emoji functional programming language with a web IDE☆15Sep 20, 2015Updated 10 years ago
- Cryptographically bulletproof encryption algorithm based on the cutting edge MD5 hashing algorithm☆24May 12, 2016Updated 9 years ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- A certified Goon™ reading list☆30Apr 18, 2018Updated 7 years ago
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆45Jul 24, 2020Updated 5 years ago
- Reimplementation of Facebook Flux chat example with Scala.js☆35Jun 8, 2015Updated 10 years ago
- Tools for visualizing and comparing data from vertebrate retinas☆14Jan 20, 2025Updated last year
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆30Aug 23, 2016Updated 9 years ago
- human-readable setTimeout wrapper☆32Sep 8, 2020Updated 5 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Makes articles look like they are on CNN.☆10Apr 5, 2017Updated 8 years ago
- A chrome extension that sync scrolling progress between multiple tabs☆13Sep 1, 2023Updated 2 years ago
- [NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"☆23Oct 23, 2025Updated 4 months ago
- Learn how to write amazing documents and resumes using LaTex☆32Oct 4, 2015Updated 10 years ago
- Lenses and traversals for xml-conduit☆50Jun 26, 2025Updated 8 months ago
- ☆15Feb 10, 2015Updated 11 years ago
- Showcase the books you have read.☆10Oct 2, 2017Updated 8 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- Browser extension to show items from HN's /newest page on the front page.☆11Nov 14, 2016Updated 9 years ago
- Lift control operations, like exception catching, through monad transformers☆58Dec 17, 2022Updated 3 years ago
- Decentralized crowd-curated Reddit clone built on IPFS☆11Apr 21, 2017Updated 8 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆12Aug 9, 2022Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- My Vim configuration☆11Sep 2, 2024Updated last year
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- ISO/IEC 18013-5 Rust implementation☆12Feb 27, 2026Updated last week