Some tutorial-style examples of Rust programs
☆15Oct 27, 2017Updated 9 years ago
Alternatives and similar repositories for rust-examples-icfp2014
Users that are interested in rust-examples-icfp2014 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust bindings for the picoTCP library☆11Jan 8, 2017Updated 9 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Use cmake to build for the mbed platform☆10Jun 28, 2019Updated 7 years ago
- A demo of gittuf☆13Oct 26, 2026Updated last week
- Command line tool to manipulate ELF and other binary & executable files for embedded systems.☆12May 27, 2016Updated 10 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.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Even more error handling experiments in Rust.☆17Jun 19, 2015Updated 11 years ago
- My Emacs configuration☆10Updated this week
- ☆10Jun 30, 2021Updated 5 years ago
- CWRC ontology - primary repository☆14Sep 7, 2026Updated 2 months ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- Example project showing use of Zinc from external project☆13Dec 13, 2015Updated 10 years ago
- partner☆16Jul 25, 2018Updated 8 years ago
- ☆16Oct 30, 2017Updated 9 years 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.
- Yet Another Lovely Lib for AVR☆12Apr 3, 2015Updated 11 years ago
- C++11-like wrapper for embedded operating systems☆12Oct 20, 2016Updated 10 years ago
- @ryantm's dotfiles☆16Oct 2, 2026Updated last month
- Tutorial and example projects for the Arrow MAX1000 FPGA board☆15Sep 13, 2018Updated 8 years ago
- WebAssembly language support in Atom.☆13Sep 4, 2026Updated 2 months ago
- C++ unit test executor☆15Mar 3, 2022Updated 4 years ago
- Grand unified collection of headers to access various hardware chips and components☆19Aug 19, 2015Updated 11 years ago
- Whitepapers and document repository for makepad☆13May 6, 2022Updated 4 years ago
- ☆12Jun 10, 2021Updated 5 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.
- A module for parsing DISA XCCDF.XML Files for Windows Compliance with PowerShell DSC☆10Feb 21, 2018Updated 8 years ago
- Create a drag and drop list in a minute. Built on top of React DnD.☆12May 25, 2016Updated 10 years ago
- Docker container for an OCaml + OPAM setup☆23Nov 28, 2016Updated 9 years ago
- A series of articles that explore working with data using Datafusion and Apache Arrow.☆10Mar 17, 2021Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- SWD programmer☆20Feb 7, 2019Updated 7 years ago
- CURIEs, or Compact URIs, for JSON-LD, RDF and other things.☆16May 25, 2025Updated last year
- EU speed camera location for Gamin-like GPS, TomTom, Navman…☆20Updated this week
- RDF/JS Dataset and Store that resorts to a web assembly backend☆12Jun 26, 2023Updated 3 years 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.
- Share recordings with drag and drop☆10Jun 8, 2018Updated 8 years ago
- A living document to help people learn rust and build apps.☆12Mar 19, 2023Updated 3 years ago
- Syntax diagram generator for pest parsers☆16Dec 21, 2024Updated last year
- ☆18Sep 18, 2024Updated 2 years ago
- learning to make macros in rust☆12Apr 19, 2023Updated 3 years ago
- A very simple basic game of snake created in rust. Supports wall collisions, self collisions, and food with snake growth. Scores are reco…☆12Apr 23, 2026Updated 6 months ago
- Private configuration for spacemacs☆13Aug 5, 2016Updated 10 years ago