☆13Aug 24, 2025Updated last year
Alternatives and similar repositories for mimic
Users that are interested in mimic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wayfire goodies: dbus interface, `wf-msg` (inspired by swaymsg) and `wf-utils`☆16May 11, 2022Updated 4 years ago
- A rust source code formatter☆15Feb 28, 2026Updated 8 months ago
- A powerful parameter handling library for [Axum](https://github.com/tokio-rs/axum) web framework, inspired by [Ruby on Rails](https://rub…☆16Feb 12, 2026Updated 8 months ago
- std::iter feature complete(-ish) lending iterator for Rustlang☆19Jul 23, 2026Updated 3 months ago
- Git O'Clock : A git toolbox for use in terminal.☆10Mar 5, 2023Updated 3 years 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.
- AAC decoder for MPEG-4 and AAC files, with rodio support☆18Jul 26, 2026Updated 3 months ago
- ☆27Nov 9, 2025Updated 11 months ago
- ☆15Oct 30, 2026Updated last week
- Cross-file drift checker. Keeps code, configs, and docs in sync deterministically. Supports 35+ languages.☆31Updated this week
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- script Kakoune with python☆31Oct 30, 2026Updated last week
- A special rope, designed to work with any data type that is not String☆36Oct 31, 2023Updated 3 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- High-performance 2D plotting library for Rust combining matplotlib's ease-of-use with Makie's performance.☆65Oct 26, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple opengl spinning cube in pascal☆10Jul 6, 2026Updated 4 months ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- A user-friendly ML framework built in Rust☆38Oct 19, 2025Updated last year
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- use one command to build and run all your projects, independent from the programming language in use☆17Apr 18, 2018Updated 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.
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- A from-scratch general AlphaZero implementation for board games☆35Sep 27, 2026Updated last month
- Allows automated moving of data stored in other file attributes into the Primary vertex color channel☆17Apr 23, 2025Updated last year
- bitfields implementation for rust☆73Aug 4, 2026Updated 3 months ago
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
- A simple tool to clean all projects in a directory.☆13Jan 24, 2023Updated 3 years ago
- Macro to generate newtypes and avoid boilerplate☆10Nov 8, 2022Updated 3 years ago
- A modern, very customizable text editor, configured in rust☆256Jul 7, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Detect blocking code in Tokio async tasks. (Rust)☆91Aug 25, 2025Updated last year
- RISCV port of the Slackware distribution☆13Jan 15, 2026Updated 9 months ago
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- A Rust library for audio processing.☆13May 26, 2025Updated last year
- System-wide Lean input method☆13Feb 16, 2022Updated 4 years ago