GapBuffer data structure in Rust.
☆16Mar 30, 2015Updated 10 years ago
Alternatives and similar repositories for gapbuffer
Users that are interested in gapbuffer are comparing it to the libraries listed below
Sorting:
- ☆11Apr 20, 2020Updated 5 years ago
- Microvm is a virtual machine and compiler. This project is inspired by a work by Aleksei Udalov: https://github.com/aleksei-udalov/vm.git☆10May 16, 2021Updated 4 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Implements a Rust ordered map as a BurstTrie.☆30May 26, 2017Updated 8 years ago
- A monadic IO interface in Rust☆78Feb 21, 2016Updated 10 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Demo shows third-person movement, how animation and state machines work in Godot Engine.☆10Jan 5, 2022Updated 4 years ago
- Infinitime Firmware for Pinetime smartwatch, modified to act as OpenSeizureDetector BLE Data Source☆10Oct 31, 2025Updated 3 months ago
- ☆12Aug 24, 2014Updated 11 years ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- Homebrew formula for the Input Leap project (unofficial)☆10Jan 23, 2025Updated last year
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- Pass arguments by reference—in Python!☆10Aug 25, 2021Updated 4 years ago
- Config file parsing/writing [Haskell]☆17Mar 2, 2025Updated 11 months ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated last year
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago
- a sudo/doas alternative☆11Jan 19, 2023Updated 3 years ago
- The secure, transparent, auditable, reliable electronic voting system☆14Oct 6, 2016Updated 9 years ago
- Exposes batch message receives (recvmmsg)☆14Aug 15, 2025Updated 6 months ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10Jan 2, 2020Updated 6 years ago
- ☆23Nov 13, 2014Updated 11 years ago
- Simple Lua coroutine/task scheduler example☆10Jul 25, 2021Updated 4 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- An interactive AR diorama of Carleton University for iOS using Reality Composer and RealityKit.☆13Dec 10, 2019Updated 6 years ago
- A fake presidential speech generator with a Mad Libs element.☆10Jul 19, 2017Updated 8 years ago
- GDDB is a superfast in-memory database designed for use in Godot☆11Dec 4, 2022Updated 3 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- [abandoned]☆15Jun 29, 2012Updated 13 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 7 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- Backup system for system administrators who require reliable backups with minimum fuss.☆22Jan 1, 2026Updated last month
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago