An Experimental LISP
☆20Jul 14, 2022Updated 3 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:
- Real-time graphing experiment written in Rust☆20Oct 30, 2020Updated 5 years ago
- Toy Operating System☆11Jan 30, 2016Updated 10 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 5 years ago
- [WIP] Firefly is a research OS inspired by Linux and Plan 9.☆11Feb 1, 2025Updated last year
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 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.
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル（WIP）☆43May 12, 2022Updated 3 years ago
- Word dictionary completion source for asyncomplete.vim☆13Oct 5, 2020Updated 5 years ago
- A stack-allocated box that stores trait objects.☆20Jul 20, 2021Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Apr 18, 2022Updated 3 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 9 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- A tool to create splashscreen files.☆10Dec 25, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Machine Learning Interface for Rust☆13Mar 18, 2025Updated last year
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 6 years ago
- Following the same workflows as Kubernetes. Widely used in InftyAI community.☆13Dec 5, 2025Updated 3 months ago
- Vita Bootrom Glitching with Chipwhisperer☆17Dec 29, 2018Updated 7 years ago
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 8 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- Use VsCode extentions inside Atom! [WIP]☆12Oct 16, 2023Updated 2 years ago
- ☆42Oct 4, 2023Updated 2 years ago
- FLV media container file format encoder and decoder☆36Mar 7, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- UDP-based light key-value store☆13Dec 22, 2019Updated 6 years ago
- Website for async-std☆23Jan 18, 2023Updated 3 years ago
- A TOML parser written in Janet☆21Sep 27, 2024Updated last year
- A tool to downgrade your yarn.lock☆13Mar 17, 2026Updated last week
- WebAssembly parser and runtime made with pure TypeScript.☆14May 1, 2025Updated 10 months ago
- One macro to rule them all☆21Mar 11, 2023Updated 3 years ago
- ☆13Apr 2, 2016Updated 9 years ago
- ☆10Oct 27, 2017Updated 8 years ago
- The code source of my personal website.☆12Jun 30, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Haskell-style monads in Rust.☆27May 25, 2023Updated 2 years ago
- Various ways to bring unsoundness to TypeScript☆15Apr 28, 2021Updated 4 years ago
- Convenient creation of type-safe refinement types.☆23Jul 30, 2024Updated last year
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 5 years ago
- ☆23Jan 21, 2021Updated 5 years ago
- ☆22Dec 21, 2025Updated 3 months ago
- 「Goで作って理解するRaftベースRedis互換KVS」のコード☆15Feb 12, 2026Updated last month