An Experimental LISP
☆20Jul 14, 2022Updated 4 years ago
Alternatives and similar repositories for formula-one
Users that are interested in formula-one are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A statically-typed compiled language defined by a simple grammar☆24Sep 14, 2026Updated 2 weeks ago
- Real-time graphing experiment written in Rust☆20Oct 30, 2020Updated 5 years ago
- Toy Operating System☆11Jan 30, 2016Updated 10 years ago
- Speedy self-documenting lisp in Rust.☆22May 25, 2024Updated 2 years ago
- Rusty Nails: an opinionated web application framework for Rust☆43Nov 10, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- A crate for compile-time duck typing and reflection of structs☆16Jan 22, 2022Updated 4 years ago
- Like APL, but with emojis☆14Mar 28, 2022Updated 4 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆58Apr 18, 2022Updated 4 years ago
- Very Fast HTTP Parser☆15Dec 22, 2018Updated 7 years ago
- A game like a pack man made from rust☆10Dec 17, 2017Updated 8 years ago
- A web application framework using RxJS 5 (alpha)☆15Jul 24, 2016Updated 10 years ago
- Build guide for Kugel☆10May 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Nov 21, 2019Updated 6 years ago
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 7 years ago
- Following the same workflows as Kubernetes. Widely used in InftyAI community.☆12Aug 17, 2026Updated last month
- A GPT Partition Manager☆18Oct 9, 2021Updated 4 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- Management multiple CloudOS.☆14Jun 24, 2017Updated 9 years ago
- Website for async-std☆23Jan 18, 2023Updated 3 years ago
- Use VsCode extentions inside Atom! [WIP]☆12Oct 16, 2023Updated 2 years ago
- Truth-table generator for classical propositional logic☆27May 10, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UDP-based light key-value store☆13Dec 22, 2019Updated 6 years ago
- ToDo List App implemented in Go + WebAssembly.☆14Feb 27, 2019Updated 7 years ago
- A tool to downgrade your yarn.lock☆13Jul 20, 2026Updated 2 months ago
- One macro to rule them all☆21Mar 11, 2023Updated 3 years ago
- It's exactly what you think - a Minecraft clone written in Rust. Just for fun and learning.☆14Aug 10, 2020Updated 6 years ago
- ☆25Jan 21, 2021Updated 5 years ago
- ☆13Apr 2, 2016Updated 10 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Haskell-style monads in Rust.☆27May 25, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Various ways to bring unsoundness to TypeScript☆15Apr 28, 2021Updated 5 years ago
- ☆23Apr 9, 2016Updated 10 years ago
- Convenient creation of type-safe refinement types.☆22Jul 30, 2024Updated 2 years ago
- RustSBI bootloader firmware and debug suite for Allwinner D1 SoC boards, including Nezha, Lichee and more☆19Oct 9, 2024Updated last year
- ☆22May 22, 2026Updated 4 months ago
- AEON is an In-place file system designed for non-volatile memories.☆15Jun 23, 2019Updated 7 years ago
- 「Goで作って理解するRaftベースRedis互換KVS」のコード☆15Sep 16, 2026Updated last week