Titanium is an exercise in writing OS kernel in Rust programming language.
☆24Mar 17, 2015Updated 11 years ago
Alternatives and similar repositories for titanium-draft
Users that are interested in titanium-draft are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Titanos an exercise in writing OS kernel in Rust programming language.☆79Aug 19, 2016Updated 9 years ago
- CrateDB driver for Rust☆14Aug 16, 2018Updated 7 years ago
- Experimental rustc plugin that imports C macro constants☆10Jul 7, 2015Updated 10 years ago
- R6RS Scheme implementation written in Rust☆63Oct 12, 2017Updated 8 years ago
- console version of StarDict formerly used by koreader; fork of https://github.com/Dushistov/sdcv☆10Aug 29, 2017Updated 8 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.
- Rust程序设计语言(中文版)☆10Mar 4, 2017Updated 9 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Go Tour (Chinese Translation)☆13Jan 24, 2015Updated 11 years ago
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 9 years ago
- Dates and times library for Rust.☆14May 17, 2022Updated 3 years ago
- Golang Command Line Functionality☆10Jan 2, 2015Updated 11 years ago
- Meta project around MLIR☆34Updated this week
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 13 years ago
- DCPU-16 emulator written in Rust☆13Dec 23, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My own emacs configuration☆22Feb 28, 2026Updated 2 months ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- [SUPERSEDED] by https://github.com/japaric/cargo-sysroot☆14Feb 6, 2016Updated 10 years ago
- Compiz 0.8-work which may or may not be awesome☆15Nov 28, 2014Updated 11 years ago
- a sample application that uses ActiveWarehouse-ETL☆13Apr 12, 2015Updated 11 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- a place to coordinate our shared efforts☆16Mar 22, 2019Updated 7 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- a simple toolkit for xlib with sample applications such as a window manager and terminal emulator.☆18Jul 26, 2017Updated 8 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.
- Brainfuck JIT compiler written in Rust☆12Dec 24, 2017Updated 8 years ago
- ECE 4551: Computer Architecture☆11Nov 25, 2019Updated 6 years ago
- MLIR grammar for tree-sitter☆19Updated this week
- ☆24Sep 4, 2024Updated last year
- Software Render☆10Mar 23, 2016Updated 10 years ago
- Computer vision demo running on the parallella board☆38Jul 24, 2013Updated 12 years ago
- A recursive directory listing utility for the modern age (experimental)☆22May 31, 2018Updated 7 years ago
- An efficient Rust implementation of the t-digest algorithm.☆12Feb 20, 2026Updated 2 months ago
- A library for setting current values for stack scope, such as application structure☆22Mar 22, 2025Updated last year
- 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.
- [Deprecated, prefer calcit-lang/calcit] Generated JavaScript from Cirru Syntax☆56Apr 15, 2026Updated 2 weeks ago
- Algorithms, 4th Edition. Coursera MOOC. in Rust.☆93Nov 15, 2015Updated 10 years ago
- A book on writing a BIOS for the PlayStation 2 in Rust☆17Dec 13, 2018Updated 7 years ago
- Safe LLVM bindings for Rust☆22Jan 8, 2024Updated 2 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- Repo for testing JIT stuff☆15Apr 9, 2020Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago