A terminal client for Up Bank written in Haskell ⚡.
☆50Apr 21, 2025Updated 11 months ago
Alternatives and similar repositories for uptop
Users that are interested in uptop are comparing it to the libraries listed below
Sorting:
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Nov 19, 2024Updated last year
- 🍊 橙功之道. The road to nutrition and health.☆10Feb 7, 2024Updated 2 years ago
- Timetable planner for UQ courses, written in Typescript with React.☆14Jan 31, 2023Updated 3 years ago
- UQCSbot: our friendly little Slack bot☆54Oct 17, 2023Updated 2 years ago
- UQCSbot: Our friendly little Discord bot☆23Dec 15, 2025Updated 3 months ago
- Resources for the UQCS competitive programming group☆20Sep 16, 2025Updated 6 months ago
- A simple repository for petting all of a user's Aavegotchis☆14Nov 4, 2021Updated 4 years ago
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Feb 18, 2026Updated last month
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Mar 5, 2021Updated 5 years ago
- Frontend service for digital marketplace☆11Jul 7, 2022Updated 3 years ago
- Example Code for Teaching Computation Theory☆23May 7, 2019Updated 6 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- ☆11May 31, 2021Updated 4 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 2 years ago
- Single Website Experience (SWE) is the template for the qld.gov.au website. https://633b6f711c3e24f3028971cb-wuadvcwpsb.chromatic.com/ an…☆16Oct 23, 2025Updated 4 months ago
- A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!☆38Jun 18, 2024Updated last year
- A Red-Black tree based Navigable Order Static TreeMap in Solidity☆11Aug 26, 2018Updated 7 years ago
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years ago
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated 9 months ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Jul 19, 2021Updated 4 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- An experiment in re-implementing big integers in Haskell.☆40Dec 9, 2022Updated 3 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Smart contracts for the Tracer perpetual swaps protocol☆12Nov 3, 2021Updated 4 years ago
- Matcha Monday Webring☆12Feb 22, 2026Updated last month
- Clone of the original iOs puzzle game, Trainyard (using the Bevy game engine)☆18Dec 3, 2023Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Gravity simulation in Hyper terminal☆23Dec 6, 2022Updated 3 years ago
- Yet another string library built to enable flexible manipulation☆20Feb 15, 2022Updated 4 years ago
- Browser extension to display additional information for a package on package.elm-lang.org☆13Sep 5, 2019Updated 6 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- Pry extension for Sorbet☆14Jul 6, 2020Updated 5 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- SDL2 Bindings for the Idris programming language☆10Feb 26, 2020Updated 6 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- GNOME Shell extension that made windows maximized on start.☆12Aug 16, 2024Updated last year
- tailviz is tool to visualize your tailnet acl config in a graph☆14Jun 28, 2024Updated last year
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 3 months ago