orlp / matt-parker-five-letter-cliqueView external linksLinks
☆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:
- ☆14Aug 4, 2022Updated 3 years ago
- fork of gitlab.com/bpaassen/five_clique. Solution to Matt Parker's 5-clique problem☆10Aug 4, 2022Updated 3 years ago
- 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
- 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
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Make QR Code images☆25Nov 4, 2019Updated 6 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☆38Dec 5, 2024Updated last year
- A lightweight, no-std, object-safe, serialization-only framework for Rust☆104Feb 7, 2026Updated last week
- Plot streaming data from stdin to a tty terminal☆65Nov 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 4 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
- Command Query Responsibility Separation for the Riker framework☆37Mar 15, 2023Updated 2 years ago
- Managing Rust dependencies via a dashboard☆50Jul 19, 2023Updated 2 years ago
- Backend Agnostic Renderer in Rust☆38May 6, 2020Updated 5 years ago
- A terminal style toolkit inspired by CSS for elegant TUIs☆41Jul 30, 2022Updated 3 years ago
- Composable allocator structures for plugging together more powerful allocators☆35Apr 29, 2021Updated 4 years ago
- Concurrent work-stealing deque☆48Nov 5, 2018Updated 7 years ago
- Arena allocator with scopes☆44May 7, 2023Updated 2 years ago
- 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
- Always wanted to use Notion as your CMS? Well, now you can!☆10Dec 13, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 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 week
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Rust Web Crawler saving pages on Redis☆44Jun 13, 2021Updated 4 years ago
- ☆42Jun 17, 2022Updated 3 years ago
- Rust macro to build std::Command objects with shell syntax. Uses macro_rules! and works on stable.☆44Mar 12, 2020Updated 5 years ago
- Lightweight, self-hosted task tracking☆49Apr 3, 2023Updated 2 years ago