Rust programming, in Finnish.
☆75Feb 4, 2022Updated 4 years ago
Alternatives and similar repositories for ruoste
Users that are interested in ruoste are comparing it to the libraries listed below
Sorting:
- Abitti Open Access exploit for Abitti exam system☆17May 17, 2021Updated 4 years ago
- Frontend for the time tracking system Testaustime☆19Dec 22, 2025Updated 2 months ago
- 🧪 Homepage for Testausserveri - community of young Finnish hackers☆13Feb 12, 2026Updated 3 weeks ago
- Wilma API Documentation☆19Feb 27, 2022Updated 4 years ago
- A general bot to send updates on tori.fi and huuto.net queries☆23Jun 8, 2024Updated last year
- A better seat map of trains in Finland for choosing just the right seat☆23Feb 11, 2026Updated 3 weeks ago
- ☆13Feb 5, 2026Updated last month
- Testauskoira written in rust.☆10Jul 8, 2025Updated 7 months ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A gateway implementation of the web3 access protocol (web3://) that can serve HTTP-style Web3 URL for blockchain resource access.☆15Jan 29, 2026Updated last month
- Lightweight Universal CIDs☆20Jul 2, 2024Updated last year
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- OCaml implementation of the T-Digest algorithm☆26May 19, 2025Updated 9 months ago
- Cross compatible JavaScript library for Wilma☆23Sep 24, 2022Updated 3 years ago
- Theming for SerenityOS☆30Mar 2, 2024Updated 2 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- Jazelle driver and documentation☆28Jun 14, 2022Updated 3 years ago
- Map of SerenityOS developers and users☆25Nov 6, 2024Updated last year
- Simple Go wrapper for Smart-ID API by SK ID Solutions☆10Mar 30, 2023Updated 2 years ago
- Published Sanoma election machine algorithms☆30Nov 16, 2023Updated 2 years ago
- Verifiable RPC for Ethereum state, in-browser, no node☆44Mar 9, 2023Updated 2 years ago
- Simple and easy-to-use scraper and crawler in Go.☆12May 4, 2020Updated 5 years ago
- ☆10Sep 6, 2023Updated 2 years ago
- ☆11Oct 25, 2024Updated last year
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- Safer than SafeMath. Goes up to 11!☆39Apr 21, 2025Updated 10 months ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆41Jul 8, 2023Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Curated list of yield farms and tools 🤑☆12Jul 15, 2021Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Typescript compiler plugin for Acode☆10Jan 17, 2023Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- micromark extension to support MDX JS import/exports☆14Sep 2, 2024Updated last year
- ☆12Mar 13, 2025Updated 11 months ago