☆15Jan 31, 2015Updated 11 years ago
Alternatives and similar repositories for mathvm-impl
Users that are interested in mathvm-impl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Launches ".com" programs on arduino☆11Mar 15, 2021Updated 5 years ago
- TeamCity Rust and Cargo plugin☆33Feb 24, 2025Updated last year
- Educational virtual machine☆14Dec 20, 2018Updated 7 years ago
- Materials for habrahabr articles☆11Nov 22, 2019Updated 6 years ago
- Additions to C functional. (Containers, strings operations, memory operations, sockets, threads, etc...)☆55Jan 26, 2017Updated 9 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.
- Simple ncurses-based SSH configurations manager☆16Sep 7, 2021Updated 4 years ago
- Server-node☆25Mar 13, 2017Updated 9 years ago
- S-expressions parser in the Go programming language☆20Jun 20, 2013Updated 13 years ago
- A parse transform to introduce module aliasing into Erlang code☆10Sep 30, 2020Updated 5 years ago
- KISS password manager☆10Dec 4, 2020Updated 5 years ago
- Write SQL in your JavaScript☆15Apr 28, 2014Updated 12 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- ☆15Jun 2, 2014Updated 12 years ago
- Make input methods play nicely with alternative keyboard layouts on OS level☆10Jun 23, 2026Updated 3 weeks ago
- AI Agents on 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.
- (Emacs) Init file (and directory) Quick Access.☆11Aug 15, 2024Updated last year
- Bobbin wraps strings.☆10Jan 15, 2020Updated 6 years ago
- GNU Guile Matrix network SDK.☆14Nov 16, 2022Updated 3 years ago
- Brainfuck compiler and interpreter☆17Jun 29, 2023Updated 3 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 6 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- :secret keyword for use-package☆13Jan 6, 2020Updated 6 years ago
- Support mix in flycheck☆10Feb 11, 2020Updated 6 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.
- An Emacs theme similar the Acme text editor.☆11May 29, 2019Updated 7 years ago
- Simple WebKit2GTK+ Browser☆72Nov 14, 2024Updated last year
- bpftrace scripts for tracing erlang beam☆10Apr 16, 2020Updated 6 years ago
- Usb keyboard implementation based on stm32f103c8t6☆10Jun 6, 2016Updated 10 years ago
- sandy text editor☆12May 12, 2021Updated 5 years ago
- The standard lockfile library. Debian packaging is at https://github.com/miquels/liblockfile-debian.☆16Feb 27, 2023Updated 3 years ago
- Easy deployment of Docker powered applications and services☆11Feb 14, 2017Updated 9 years ago
- A minor mode enabling split-screen scrolling in any Emacs 'comint-mode' buffer (such as shell-mode, inferior-python-mode, etc.)☆16Jan 5, 2026Updated 6 months ago
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 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.
- Originally from EmacsWiki☆16May 8, 2016Updated 10 years ago
- A tutorial to the Idris Programming Language.☆97Dec 16, 2015Updated 10 years ago
- Punish yourself for using Emacs inefficiently☆15May 6, 2020Updated 6 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆14Jun 8, 2017Updated 9 years ago
- Create custom SoundCloud players with React☆12Aug 8, 2017Updated 8 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- Automatically exported from code.google.com/p/jsr-305☆15Sep 24, 2017Updated 8 years ago