☆46Aug 5, 2022Updated 3 years ago
Alternatives and similar repositories for matt-parker-five-letter-clique
Users that are interested in matt-parker-five-letter-clique are comparing it to the libraries listed below
Sorting:
- A functional scripting language.☆17Jan 18, 2025Updated last year
- The LLHD reference simulator.☆39Aug 26, 2020Updated 5 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆22Jan 7, 2023Updated 3 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Macro-rules-style syntax matching for procedural macros☆53Nov 7, 2023Updated 2 years ago
- rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…☆33May 2, 2021Updated 4 years ago
- Assembler toolkit: encoding and decoding of various architectures☆38Updated this week
- A lightweight, no-std, object-safe, serialization-only framework for Rust☆104Feb 7, 2026Updated last month
- Plot streaming data from stdin to a tty terminal☆66Nov 24, 2020Updated 5 years ago
- A Rust hashconsing library.☆38Jul 15, 2024Updated last year
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- Asynchronous OS kernel written in Rust.☆32Nov 27, 2020Updated 5 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Mar 30, 2018Updated 7 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated 2 weeks ago
- Backend Agnostic Renderer in Rust☆38May 6, 2020Updated 5 years ago
- Managing Rust dependencies via a dashboard☆50Jul 19, 2023Updated 2 years ago
- Concurrent work-stealing deque☆48Nov 5, 2018Updated 7 years ago
- Arena allocator with scopes☆44May 7, 2023Updated 2 years ago
- Composable allocator structures for plugging together more powerful allocators☆35Apr 29, 2021Updated 4 years ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- YT Quick Actions is a web extension for YouTube making actions related to watch later playlist management quicker to access.☆13Feb 7, 2026Updated last month
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Descriptive summaries of covid data for Belgium☆10Apr 23, 2021Updated 4 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Rust Web Crawler saving pages on Redis☆44Jun 13, 2021Updated 4 years ago
- Lightweight, self-hosted task tracking☆49Apr 3, 2023Updated 2 years ago
- Rust macro to build std::Command objects with shell syntax. Uses macro_rules! and works on stable.☆43Mar 12, 2020Updated 5 years ago
- Please use Canadensis by Sam Crow instead☆46Jan 9, 2023Updated 3 years ago
- A minimal async executor suitable for embedded environments☆39Nov 9, 2023Updated 2 years ago
- An implementation of TLS/SSL streams for Tokio☆95May 6, 2020Updated 5 years ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated last year
- A direct replacement for `assert_eq` for unordered collections☆13Apr 17, 2022Updated 3 years ago
- This is the core functions needed by the `tsmp` package. The low level and carefully checked mathematical functions are here. These are i…☆12Dec 16, 2025Updated 2 months ago