☆29Dec 21, 2016Updated 9 years ago
Alternatives and similar repositories for tapl-in-rust
Users that are interested in tapl-in-rust are comparing it to the libraries listed below
Sorting:
- ☆15Feb 23, 2026Updated 2 weeks ago
- Starter kit for new RealWorld framework implementations☆14Dec 16, 2022Updated 3 years ago
- ISUCON8 本戦 優勝チーム「最大の敵は時差」(スコア: 35,312)☆12Oct 21, 2018Updated 7 years ago
- A compiler for an Ada-like language☆32May 5, 2025Updated 10 months ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Reinventing the wheel.☆15Oct 22, 2021Updated 4 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- A script to demonstrate building Diesel on Windows using native libraries from vcpkg found by the vcpkg-rs cargo build helper☆11Nov 30, 2018Updated 7 years ago
- Snowflake emulator written in Rust☆26Updated this week
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- Create LLVM IR for Perl5☆41Jan 16, 2018Updated 8 years ago
- 🫂☆15Feb 16, 2025Updated last year
- Rust build system integration for protobuf, Google's data interchange format.☆21Jan 9, 2026Updated last month
- Bookmarks App with Cloudflare Workers.☆28Mar 4, 2022Updated 4 years ago
- ☆25Aug 31, 2022Updated 3 years ago
- A hobby project to write JSON parser from the scratch☆28Dec 8, 2022Updated 3 years ago
- Simple blockchain in Ada☆22Sep 11, 2025Updated 5 months ago
- A RDBMS with Immutable Schema feature☆35Oct 13, 2021Updated 4 years ago
- 『並行プログラミング入門』(O'Reilly Japan, 2021)☆233Jan 5, 2024Updated 2 years ago
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- x86 bare metal Rust thing☆28Sep 18, 2016Updated 9 years ago
- A Parenscript to Javascript command line compiler and interpreter.☆27Jun 30, 2017Updated 8 years ago
- Rust bindings to netmap.☆28Sep 28, 2021Updated 4 years ago
- 日本語版TRPLのPDF☆25Dec 31, 2017Updated 8 years ago
- An experimental project for statically typed scripting language.☆63Dec 30, 2025Updated 2 months ago
- It's the stock market game but for Wikipedia articles!☆10Nov 19, 2024Updated last year
- tools for isucon☆32Sep 20, 2019Updated 6 years ago
- ☆32Sep 15, 2022Updated 3 years ago
- BzTree implementation for Rust☆37Aug 19, 2025Updated 6 months ago
- SPLIT-SEQUENCE is a member of the Common Lisp Utilities family of programs, designed by community consensus.☆39Dec 5, 2021Updated 4 years ago
- Snowflake Connector for Rust☆37Mar 2, 2026Updated last week
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 6 months ago
- David M. Gay's floating-point conversion library☆37Jun 10, 2010Updated 15 years ago
- Open sourced news app for ReactNative developers☆42Dec 6, 2022Updated 3 years ago
- Distributed lock backed by Dynamodb☆11Dec 7, 2023Updated 2 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- A companion to `rules_rust` which provides a much faster reimplementation of `crate_universe` and prevents the need for additional lockfi…☆35Updated this week