☆15Jul 2, 2017Updated 8 years ago
Alternatives and similar repositories for rust-uefi
Users that are interested in rust-uefi are comparing it to the libraries listed below
Sorting:
- Rewrite 9cc in Rust☆12Jan 21, 2022Updated 4 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- .netアプリケーションの関数を実行時に置き換えるプログラム☆15Jan 21, 2017Updated 9 years ago
- A compatibility layer for base☆21Jan 11, 2026Updated last month
- [ABANDONED] An in-memory structure database for Rust.☆18Jan 19, 2019Updated 7 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 years ago
- forest は行指向で構造化された木構造を表すテキストを整形して出力するコマンド☆25Jul 23, 2017Updated 8 years ago
- Minimal Docker PaaS☆33Sep 5, 2015Updated 10 years ago
- Participate in the 4th U.S. National Action Plan for Open Government☆13Jun 8, 2018Updated 7 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated last week
- Functional, Persistent Data Structures in Rust☆51Nov 21, 2014Updated 11 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- instruction-bench☆35Jan 10, 2023Updated 3 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- A lightweight packet-level OMNeT++ simulator designed to simulate large FatTree data center networks.☆11Nov 19, 2013Updated 12 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Understanding Differencing Algorithms for Mobile Application Updates☆14Nov 15, 2023Updated 2 years ago
- Integrates Ganache and Harmony in a seamless setup☆10Sep 12, 2021Updated 4 years ago
- Nano Pi A64 firmware ( u-boot, kernel 3.10.104 / kernel 3.10.105 )☆10Jun 13, 2019Updated 6 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- high level amazon s3 client for node.js☆10Jul 18, 2019Updated 6 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Predicting breast cancer at 97.51% accuracy with Naive Bayes Classifier for learning purposes.☆13May 1, 2010Updated 15 years ago
- ☆11Oct 15, 2024Updated last year
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- ☆12Sep 28, 2023Updated 2 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- A pure Rust implementation of DEFLATE decompression☆45Sep 7, 2019Updated 6 years ago
- EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.☆59Dec 15, 2014Updated 11 years ago
- x86 intrinsics for rust☆40Mar 12, 2018Updated 7 years ago
- a rust code completion plugin for gedit☆34Dec 5, 2022Updated 3 years ago
- Unikernel written in rust☆33Feb 25, 2016Updated 10 years ago
- Experimental kernel for embedded devices written in Rust☆91Jun 23, 2022Updated 3 years ago
- An application that open source projects can use to ensure they include relevant documentation (and not secrets or PII!)☆10Mar 29, 2021Updated 4 years ago
- CoreFoundation Property List support for Go☆28Nov 7, 2017Updated 8 years ago
- twango = Django ORM + Twisted - Blocking☆20Oct 4, 2017Updated 8 years ago