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☆29Jun 25, 2026Updated 2 months ago
- Unsafe marker trait for types that deref to a stable address☆37Jul 21, 2026Updated last month
- OpenType font decoder for OCaml☆20Aug 13, 2026Updated 2 weeks ago
- Deprecated: use https://github.com/roxma/denv☆35Apr 26, 2026Updated 4 months ago
- A lambda calculus interpreter written in Python☆20Feb 24, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Erlang source code parser written in Rust☆11Updated this week
- 3000.gov.tw☆16Jun 17, 2020Updated 6 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Grape on Rails 101☆11Apr 9, 2019Updated 7 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- ☆12May 2, 2022Updated 4 years ago
- 🦝☆12Jan 8, 2021Updated 5 years ago
- Hackworth Ltd's Nix helpers.☆13Updated this week
- Docset for Dash / Zeal generator☆48Sep 3, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- Jeroon's Factorio Maps mod☆11Nov 3, 2018Updated 7 years ago
- syscall hijacking in 2019☆13Feb 25, 2019Updated 7 years ago
- landing page template for g0v grants awardee projects☆14Dec 1, 2019Updated 6 years ago
- Rust implementation of the 7 GUI tasks by Eugen Kiss using Druid☆13Dec 27, 2020Updated 5 years ago
- Koa middleware to cache and serve from S3☆13May 26, 2025Updated last year
- Code from my blog post, Up and Running with React + Rust + Wasm☆11Feb 26, 2019Updated 7 years ago
- Paranoid text spacing in Ruby☆17May 4, 2015Updated 11 years ago
- Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.☆15May 5, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ninja is a small build system with a focus on speed. Rust language port.☆19Nov 11, 2017Updated 8 years ago
- ☆21Dec 29, 2024Updated last year
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Ruby gem for Synology Web API☆12Jul 15, 2024Updated 2 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 4 months ago
- Small OS for RaspberryPi 3 written in Rust☆16Jul 18, 2018Updated 8 years ago
- a bunch of scala puzzles - a bit like 4clojure.org☆15Sep 29, 2016Updated 9 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 7 years ago
- Personas & Profiles UI in Vue☆10Oct 25, 2024Updated last year
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- A fast parser combinator library, with extra querying goodness☆35Oct 31, 2016Updated 9 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A series of annotated lists of opinionated, high-signal but low-noise links on topics I care about☆13Jan 22, 2024Updated 2 years ago
- A minimalist component for displaying dynamic geojson features on a Mapbox GL or MapLibre GL map!☆14Jul 7, 2023Updated 3 years ago