vkoskiv / ruosteView external linksLinks
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 last month
- 🧪 Homepage for Testausserveri - community of young Finnish hackers☆13Jan 16, 2026Updated 3 weeks ago
- A general bot to send updates on tori.fi and huuto.net queries☆23Jun 8, 2024Updated last year
- Testauskoira written in rust.☆10Jul 8, 2025Updated 7 months ago
- Ruutu-lataaja☆14Mar 20, 2024Updated last year
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Cross compatible JavaScript library for Wilma☆23Sep 24, 2022Updated 3 years ago
- OCaml implementation of the T-Digest algorithm☆26May 19, 2025Updated 8 months ago
- Theming for SerenityOS☆30Mar 2, 2024Updated last year
- 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
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- ☆10Sep 6, 2023Updated 2 years ago
- ☆11Oct 25, 2024Updated last year
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Jul 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
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Marlowe makes it easier to trace a request through all of your application logs☆10Feb 27, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Typescript compiler plugin for Acode☆10Jan 17, 2023Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 2 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆16Jul 10, 2025Updated 7 months ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- ☆12Jun 7, 2024Updated last year
- shaderc bindings for odin wip☆11Jun 25, 2023Updated 2 years ago