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:
- Speedy self-documenting lisp in Rust.☆22May 25, 2024Updated 2 years ago
- Real-time graphing experiment written in Rust☆20Oct 30, 2020Updated 5 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 6 years ago
- Rusty Nails: an opinionated web application framework for Rust☆43Nov 10, 2019Updated 6 years ago
- [WIP] Firefly is a research OS inspired by Linux and Plan 9.☆11Jul 20, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A (nearly) pure functional programming language.☆25Jan 11, 2019Updated 7 years ago
- 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
- 手を動かせばできるLLVMバックエンド チュートリアル（WIP）☆43May 12, 2022Updated 4 years ago
- Language server to preview mdBook projects live☆11Oct 7, 2026Updated last week
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- A PSP/ePSP plugin to dump PSP DOCUMENT.DAT manuals to PNG images.☆12Jul 12, 2018Updated 8 years ago
- A stack-allocated box that stores trait objects.☆21Jul 20, 2021Updated 5 years ago
- Type-level named values with partial dependent type support in Rust☆58Apr 18, 2022Updated 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.
- Very Fast HTTP Parser☆15Dec 22, 2018Updated 7 years ago
- A tool to create splashscreen files.☆10Dec 25, 2017Updated 8 years ago
- Machine Learning Interface for Rust☆13Mar 18, 2025Updated last year
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- Another random toolkit for 3DS files☆13Mar 28, 2017Updated 9 years ago
- A GPT Partition Manager☆18Oct 9, 2021Updated 5 years ago
- Management multiple CloudOS.☆14Jun 24, 2017Updated 9 years ago
- Website for async-std☆23Jan 18, 2023Updated 3 years ago
- A collection of all things written in Janet☆19Aug 21, 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.
- WebAssembly parser and runtime made with pure TypeScript.☆14Mar 26, 2026Updated 6 months ago
- Use VsCode extentions inside Atom! [WIP]☆12Oct 16, 2023Updated 3 years ago
- ☆44Oct 4, 2023Updated 3 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
- Truth-table generator for classical propositional logic☆27May 10, 2021Updated 5 years ago
- ☆25Jan 21, 2021Updated 5 years ago
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆14Apr 24, 2026Updated 5 months ago
- ☆13Apr 2, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- One macro to rule them all☆21Mar 11, 2023Updated 3 years ago
- Haskell-style monads in Rust.☆27May 25, 2023Updated 3 years ago
- Boot Loader with UEFI☆11Aug 16, 2015Updated 11 years ago
- RustSBI bootloader firmware and debug suite for Allwinner D1 SoC boards, including Nezha, Lichee and more☆19Oct 9, 2024Updated 2 years ago
- Convenient creation of type-safe refinement types.☆22Jul 30, 2024Updated 2 years ago
- Rust command line utility☆18Feb 22, 2024Updated 2 years ago