Example code for Understanding Computation http://computationbook.com/ in Rust
☆36Feb 21, 2019Updated 7 years ago
Alternatives and similar repositories for computationbook-rust
Users that are interested in computationbook-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple gameboy (LR35902) emulator based on rvemu☆29Mar 21, 2021Updated 5 years ago
- OpenType font decoder for OCaml☆20May 20, 2024Updated 2 years ago
- Deprecated: use https://github.com/roxma/denv☆35Apr 26, 2026Updated last month
- Continuous benchmarking, done right☆25Oct 8, 2024Updated last year
- 關於 「重構─改善既有程式的設計, 2/e (Refactoring: Improving The Design of Existing Code) 」 的讀書心得☆11Jun 11, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 3000.gov.tw☆16Jun 17, 2020Updated 5 years ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- Docset for Dash / Zeal generator☆48Sep 3, 2023Updated 2 years ago
- Holochain crate to implement general turn-based games with global DHT validation☆11Jan 8, 2023Updated 3 years ago
- syscall hijacking in 2019☆13Feb 25, 2019Updated 7 years ago
- Samples of authenticating to an Azure Key Vault vault☆13May 10, 2022Updated 4 years ago
- 2020 年鐵人賽準備的範例內容☆12Oct 2, 2019Updated 6 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆19Nov 11, 2017Updated 8 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 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.
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- landing page template for g0v grants awardee projects☆14Dec 1, 2019Updated 6 years ago
- Test whether the "focus" mechanism is a valuable addition to attention☆12Dec 8, 2022Updated 3 years ago
- Koa middleware to cache and serve from S3☆13May 26, 2025Updated last year
- ☆21Dec 29, 2024Updated last year
- Ruby gem for Synology Web API☆12Jul 15, 2024Updated last year
- prototyping logic programming in Scala☆43Mar 25, 2022Updated 4 years ago
- A quick start for using Holochain and GraphQL☆11Mar 23, 2019Updated 7 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 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.
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 9 years ago
- Small OS for RaspberryPi 3 written in Rust☆16Jul 18, 2018Updated 7 years ago
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 6 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Personas & Profiles UI in Vue☆10Oct 25, 2024Updated last year
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- Top JavaScript tips, tricks and hacks to increase your Speed and Efficiency at work, competitions and hackthons.☆10Sep 17, 2022Updated 3 years ago
- Simple app for exploring holochain architecture☆12Nov 2, 2018Updated 7 years ago
- A series of annotated lists of opinionated, high-signal but low-noise links on topics I care about☆12Jan 22, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Local Actor library based on may☆27Jun 19, 2024Updated last year
- ☆10Jul 16, 2017Updated 8 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- The start of a library for building a DAW and/or sound experiments in Rust☆30Apr 29, 2019Updated 7 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 9 years ago
- ☆10Sep 7, 2021Updated 4 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated last year