Alternatives and similar repositories for ruoste

Users that are interested in ruoste are comparing it to the libraries listed below

• Testausserveri / abitti-open-access

  View on GitHub
  Abitti Open Access exploit for Abitti exam system
  ☆17May 17, 2021Updated 4 years ago
• Testaustime / testaustime-frontend

  View on GitHub
  Frontend for the time tracking system Testaustime
  ☆19Dec 22, 2025Updated last month
• Testausserveri / testausserveri.fi

  View on GitHub
  🧪 Homepage for Testausserveri - community of young Finnish hackers
  ☆13Jan 16, 2026Updated 3 weeks ago
• Testausserveri / torimies-rs

  View on GitHub
  A general bot to send updates on tori.fi and huuto.net queries
  ☆23Jun 8, 2024Updated last year
• Testausserveri / testauskoira-rs

  View on GitHub
  Testauskoira written in rust.
  ☆10Jul 8, 2025Updated 7 months ago
• untoor / Ruutu-lataaja

  View on GitHub
  Ruutu-lataaja
  ☆14Mar 20, 2024Updated last year
• imlyzh / emei

  View on GitHub
  The 峨眉 (EMei) JIT/AOT backend framework.
  ☆18Nov 19, 2024Updated last year
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago
• ziman / itt-idris

  View on GitHub
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Dec 5, 2024Updated last year
• OpenWilma / openwilma.js

  View on GitHub
  Cross compatible JavaScript library for Wilma
  ☆23Sep 24, 2022Updated 3 years ago
• SGrondin / tdigest

  View on GitHub
  OCaml implementation of the T-Digest algorithm
  ☆26May 19, 2025Updated 8 months ago
• SerenityOS / theming

  View on GitHub
  Theming for SerenityOS
  ☆30Mar 2, 2024Updated last year
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• SonoSooS / libjz

  View on GitHub
  Jazelle driver and documentation
  ☆28Jun 14, 2022Updated 3 years ago
• SerenityOS / user-map

  View on GitHub
  Map of SerenityOS developers and users
  ☆25Nov 6, 2024Updated last year
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• PapaReact / PAPAFAM-coding-challenges-starter-project

  View on GitHub
  ☆10Sep 6, 2023Updated 2 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• mirage / bloomf

  View on GitHub
  Efficient Bloom filters for OCaml
  ☆38Jan 3, 2022Updated 4 years ago
• zwizwa / staapl

  View on GitHub
  A Racket-based Forth / Macro Assembler on steroids for PIC18F
  ☆40Jul 8, 2023Updated 2 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• sudokit / odgpu

  View on GitHub
  A general purpose gpu computation library in odin
  ☆12May 9, 2025Updated 9 months ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• KineticCafe / marlowe

  View on GitHub
  Marlowe makes it easier to trace a request through all of your application logs
  ☆10Feb 27, 2024Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• bajrangCoder / acode-plugin-typescript

  View on GitHub
  Typescript compiler plugin for Acode
  ☆10Jan 17, 2023Updated 3 years ago
• ice1000 / guest0x0

  View on GitHub
  Neon lights in the night tonight and stars that shine in the open sky
  ☆46Dec 17, 2023Updated 2 years ago
• jakubtomsu / odin-mimalloc

  View on GitHub
  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
• NicolasT / paxos

  View on GitHub
  A Haskell library implementing several Paxos-related algorithms
  ☆25Dec 13, 2012Updated 13 years ago
• Splines / lean-continuous

  View on GitHub
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆16Jul 10, 2025Updated 7 months ago
• nt591 / monkey-ocaml

  View on GitHub
  Ocaml code from Writing an Interpreter in Go
  ☆11Aug 16, 2019Updated 6 years ago
• thautwarm / Sequent.jl

  View on GitHub
  formally and easily, describe the semantics.
  ☆13Aug 17, 2020Updated 5 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year
• juxta-tad / shaderc

  View on GitHub
  shaderc bindings for odin wip
  ☆11Jun 25, 2023Updated 2 years ago