A terminal client for Up Bank written in Haskell ⚡.
☆50Apr 21, 2025Updated last year
Alternatives and similar repositories for uptop
Users that are interested in uptop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Nov 19, 2024Updated last year
- UQCSbot: Our friendly little Discord bot☆24May 20, 2026Updated 3 weeks ago
- The Up Banking API Specification☆429Feb 24, 2026Updated 3 months ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 2 years ago
- A successor to the much revered and sorely missed UQ Timetable Planner☆31Feb 18, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 7 years ago
- ☆11May 31, 2021Updated 5 years ago
- The official documentation for the Tick API (http://www.tickspot.com).☆61Feb 14, 2024Updated 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 7 months ago
- ☆13Jul 30, 2020Updated 5 years ago
- A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!☆40Mar 31, 2026Updated 2 months ago
- A Red-Black tree based Navigable Order Static TreeMap in Solidity☆11Aug 26, 2018Updated 7 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.
- Playing with DSLs in Haskell☆22Feb 13, 2017Updated 9 years ago
- A hobby implementation of an ncurses binding for Idris 2☆17Dec 9, 2024Updated last year
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated last year
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Jul 19, 2021Updated 4 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 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
- ⚠️ DEPRECATED ⚠️ Prometheus exporter for chainlink oracle operators.☆14Jun 25, 2021Updated 4 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- A table library for Idris 2☆15Oct 25, 2022Updated 3 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
- A system status bar built for Windows☆10Aug 4, 2020Updated 5 years ago
- PowerBI custom visual for funnel plots☆18Updated this week
- ☆14Apr 9, 2017Updated 9 years ago
- ☆18Nov 1, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- YNAB Transformer for Up Bank, automatically imports Up transactions into YNAB.☆28Aug 13, 2022Updated 3 years ago
- ☆26Jun 4, 2026Updated last week
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- ☆11Apr 26, 2021Updated 5 years ago
- A special-purpose processor for pure, non-strict functional languages☆33Feb 17, 2026Updated 3 months ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- Write your blog posts with semantic HTML.☆24Jul 2, 2020Updated 5 years ago