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:
- ☆60Mar 12, 2025Updated last year
- 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
- ☆13Jan 15, 2026Updated 3 months 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.
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Support for writing Neovim plugins in Rust.☆20Jul 8, 2016Updated 9 years ago
- Grape on Rails 101☆11Apr 9, 2019Updated 7 years ago
- Docset for Dash / Zeal generator☆48Sep 3, 2023Updated 2 years ago
- Samples of authenticating to an Azure Key Vault vault☆13May 10, 2022Updated 3 years ago
- Victor makes vectors.☆36Jul 22, 2019Updated 6 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
- 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.
- 自 108 年開始，學測最多參採四 科，學測五選四網站受到全台師生廣大好評迴響，到了 109 學年度繼續更新資料，旨在提供學弟妹們好用的查詢介面，來看看您心目中的科系用了何種組合，該將準備心力放在哪些考科最有利☆38Feb 28, 2024Updated 2 years ago
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Apr 24, 2021Updated 5 years ago
- Ruby gem for Synology Web API☆12Jul 15, 2024Updated last year
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 3 weeks ago
- A quick start for using Holochain and GraphQL☆11Mar 23, 2019Updated 7 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆21May 2, 2017Updated 8 years ago
- Simple app for exploring holochain architecture☆12Nov 2, 2018Updated 7 years ago
- A minimal but function demo app of a simple logistics system using holochain. (Work in progress)☆11Jan 3, 2023Updated 3 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.
- A minimalist component for displaying dynamic geojson features on a Mapbox GL or MapLibre GL map!☆14Jul 7, 2023Updated 2 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
- ☆12Jan 1, 2021Updated 5 years ago
- Local Actor library based on may☆27Jun 19, 2024Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- A fully RESTful API from any existing PostgreSQL database written in Rust☆15May 3, 2023Updated 2 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
- 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 prototype cmd line chat app, using holochain, written in Rust☆11Nov 26, 2020Updated 5 years ago
- Simulation of utility tokens for trading renewable energy in urban slum communities. Agent-based model (ABM)☆12Sep 22, 2018Updated 7 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆17Jan 31, 2021Updated 5 years ago
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- Yayaka Protocol is a protocol for highly distributed social blogging.☆13Jun 29, 2018Updated 7 years ago