☆16Apr 10, 2011Updated 15 years ago
Alternatives and similar repositories for rust-mode
Users that are interested in rust-mode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [UNMAINTAINED] GLUT bindings for Rust☆22Nov 14, 2014Updated 11 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Jul 18, 2023Updated 2 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- Implementation of the "1 cent recognizer" gesture recognition algorithm, with Bevy integration.☆12Feb 23, 2024Updated 2 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 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.
- ☆17Mar 12, 2017Updated 9 years ago
- ☆18Mar 28, 2024Updated 2 years ago
- Document reader☆17Apr 18, 2026Updated 2 months ago
- Sebastian Sylvan's Rust ray-tracer☆21Dec 4, 2013Updated 12 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 13 years ago
- LLVM IR to Cranelift IR translator☆37Oct 8, 2019Updated 6 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- RPC/XDR protocol compiler (from jungerl)☆15Oct 4, 2019Updated 6 years ago
- Crawl a site, run pa11y on every HTML page, and get the results☆18Sep 27, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- A WebIDL parser written in Rust.☆37Jul 27, 2024Updated last year
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Use Travis CI with Racket☆43Feb 27, 2021Updated 5 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 5 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆22Jul 14, 2022Updated 4 years ago
- Macros have types!☆134Feb 25, 2026Updated 4 months ago
- Try s7 scheme in your browser, powered by WebAssembly☆48Sep 27, 2020Updated 5 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.
- Undelete open files and loop mounts ("improved" version of fdlink)☆10Apr 19, 2011Updated 15 years ago
- Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods fo…☆20Sep 30, 2012Updated 13 years ago
- berlin windowing system -- historical snapshot☆17Dec 31, 2023Updated 2 years ago
- Lean 4 library for pretty printing expressions as LaTeX☆38Mar 5, 2025Updated last year
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated 2 years ago
- Servo binding for gtk-rs☆26Nov 1, 2020Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- A selenium tool to automate downloading bank account activity for importing into YNAB.☆10Dec 30, 2015Updated 10 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- test framework☆11Jun 2, 2021Updated 5 years ago
- My custom AutoHotKey scripts☆12Jul 15, 2021Updated 5 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- Rust wrapper for Duktape, a lightweight, embedded JavaScript interpreter.☆36Sep 24, 2016Updated 9 years ago
- causal-length sets in Rust☆16Mar 25, 2026Updated 3 months ago
- Abductive reasoner for NLP in C++☆23Dec 17, 2018Updated 7 years ago
- Ansible role to configure ssh.☆11May 7, 2024Updated 2 years ago