Cryptanalysis of the Enigma machine in Rust.
☆127Apr 21, 2021Updated 5 years ago
Alternatives and similar repositories for ultra
Users that are interested in ultra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 8 years ago
- Operations on matrices, vectors, and quaternions☆126Jun 26, 2026Updated 4 months ago
- A website server that supports serving many websites using subdomain-based routing.☆20Jul 20, 2025Updated last year
- Find calls to panic functions in rust executables☆36Sep 19, 2021Updated 5 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.
- Visual Studio Code Extension(s) for Rzk proof assistant.☆11Jul 25, 2026Updated 3 months ago
- Morse code to email☆84Nov 3, 2024Updated last year
- A crate to protect against malicious JSON payloads.☆62Oct 21, 2024Updated 2 years ago
- Long-Range Data Bridge (LoRaBridge) project repository☆86Apr 23, 2025Updated last year
- A rust port of go lang version: https://github.com/charmbracelet/bubbles☆13Dec 15, 2025Updated 10 months ago
- Reproducing agentic KV-cache policy claims on real traces. 68k requests from 393 Claude Code sessions. LRU is harder to beat than the pa…☆24Sep 10, 2026Updated last month
- A Chip8 emulator written in JavaScript☆24Mar 31, 2025Updated last year
- a small, lightweight crate for numerical integration written in Rust.☆115May 10, 2026Updated 5 months ago
- What impact does floating point precision have on Mandelbrot set calculations?☆109May 15, 2023Updated 3 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 Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- This project is a modernized reimplementation of the original Speck molecule renderer created by Rye Terrell.☆21Feb 22, 2026Updated 8 months ago
- Ultra fast, persistent database supporting Valkey API☆458Sep 15, 2026Updated last month
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- Merkle tree implementation in Rust with configurable storage backends and hash functions. Fixed depth and incremental only. Optimized for…☆229Aug 12, 2026Updated 2 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆438Jul 9, 2024Updated 2 years ago
- Grep for YAML and JSON files☆110May 5, 2026Updated 5 months ago
- Forth emulator, as a Racket #lang☆21Feb 20, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathemati…☆58Jun 7, 2024Updated 2 years ago
- HNSW implementation in Rust. Reference: https://arxiv.org/ftp/arxiv/papers/1603/1603.09320.pdf☆248Nov 18, 2024Updated last year
- ☆509Apr 9, 2024Updated 2 years ago
- A Rust library to deconstruct DNS SPF records☆17Apr 20, 2026Updated 6 months ago
- A Lisp interpreter written fully in rust macros.☆288Sep 14, 2024Updated 2 years ago
- Claude Code skill for searching royalty-free stock photos via the Pexels API☆13Jul 19, 2026Updated 3 months ago
- A client/server multiplayer renderer.☆16Oct 5, 2025Updated last year
- Qualcomm Hexagon decoder for the yaxpeax project☆10Jul 13, 2025Updated last year
- A Game Boy emulator written in Rust.☆1,035Mar 2, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Browse YouTube in CLI with fzf without YouTube Data API.☆11May 6, 2024Updated 2 years ago
- A 2D simulation of orbital mechanics and rocket launch from earth☆37Aug 12, 2026Updated 2 months ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- A modern take on 'ed'☆134May 12, 2025Updated last year
- An experimental Kotlin compiler in Rust.☆16May 13, 2020Updated 6 years ago
- This project is no longer actively developed. See https://github.com/llvm-mos/llvm-mos ! An experimental LLVM target for the 6502 family …☆15Oct 17, 2020Updated 6 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 2 weeks ago