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:
- Unsafe marker trait for types that deref to a stable address☆35Mar 4, 2026Updated last month
- Slides of "Everything in Rust" of COSCUP 2019☆11Aug 25, 2019Updated 6 years ago
- OpenType font decoder for OCaml☆20May 20, 2024Updated last year
- Auto source bash .envrc of your workspace☆35Feb 14, 2024Updated 2 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- ☆18Nov 15, 2019Updated 6 years ago
- Provision Local Dev Environment for Ubuntu, Raspi, macOS and Windows.☆18Apr 1, 2026Updated last week
- ☆12May 2, 2022Updated 3 years ago
- Holochain crate to implement general turn-based games with global DHT validation☆10Jan 8, 2023Updated 3 years ago
- Source code for 'Stylish F# 6' by Kit Eason☆16Jan 11, 2022Updated 4 years ago
- programming contests, problems, et cetera☆25Updated this week
- A better Arc / Rc [Still in research mode]☆19Feb 15, 2020Updated 6 years ago
- 自 108 年開始，學測最多參採四科，學測五選四網站受到 全台師生廣大好評迴響，到了 109 學年度繼續更新資料，旨在提供學弟妹們好用的查詢介面，來看看您心目中的科系用了何種組合，該將準備心力放在哪些考科最有利☆38Feb 28, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Apr 24, 2021Updated 4 years ago
- landing page template for g0v grants awardee projects☆14Dec 1, 2019Updated 6 years ago
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- Code from my blog post, Up and Running with React + Rust + Wasm☆11Feb 26, 2019Updated 7 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 10 months ago
- Rust implementation of the 7 GUI tasks by Eugen Kiss using Druid☆13Dec 27, 2020Updated 5 years ago
- Ruby gem for Synology Web API☆12Jul 15, 2024Updated last year
- A fast scenario test orchestrator for dev purposes☆12May 10, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Paranoid text spacing in Ruby☆17May 4, 2015Updated 10 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 6 years ago
- A RubyVM written in PHP☆25Jan 2, 2024Updated 2 years ago
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- A minimal but function demo app of a simple logistics system using holochain. (Work in progress)☆11Jan 3, 2023Updated 3 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
- ☆10Jul 16, 2017Updated 8 years ago
- An implementation of the Lox language in Racket.☆37Oct 28, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- An easy-to-use Rust actor framework/model. Forked from the Axiom actor framework.☆16Dec 10, 2021Updated 4 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆14Jun 17, 2024Updated last year
- Some snow using Rust and WebAssembly.☆17Mar 2, 2023Updated 3 years ago
- Script to store to the file-system JSON formatted Google-Keep notes.☆11Jan 11, 2019Updated 7 years ago
- Classic game of Battleship implemented in Holochain☆12Jun 11, 2018Updated 7 years ago
- Possible setup for a dev camp or new devs to get going with Holochain easily.☆12Mar 20, 2019Updated 7 years ago