A JVM written in Rust.
☆40Nov 16, 2024Updated last year
Alternatives and similar repositories for kate
Users that are interested in kate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Terminal text editor.☆12Jun 28, 2022Updated 4 years ago
- Projeto que demonstra o uso do Strangler Fig Pattern com Spring Boot e Spring Cloud Gateway. Esse pattern pode ser utilizado para reescre…☆11Jan 5, 2025Updated last year
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- Experimental N64 emulator written in Zig. Work in progress.☆17Feb 10, 2022Updated 4 years ago
- ☆26Jun 30, 2023Updated 3 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.
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- Documenting and preserving the Nintendo 64☆15Nov 2, 2022Updated 3 years ago
- The power of the atom in the palm of your hand☆12May 4, 2022Updated 4 years ago
- Adds support for the NBT format used by Minecraft to Intellij☆16Dec 6, 2022Updated 3 years ago
- Package ikitai is an optimizing just-in-time compiler for SSA-transformed Go.☆17Jun 6, 2020Updated 6 years ago
- A script-based client mod for Discord!☆30May 9, 2023Updated 3 years ago
- The Krunker client is an installable, desktop-based version of Krunker.io for Windows, Apple Mac and Linux computers. It allows users to …☆11Jun 19, 2020Updated 6 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Jul 9, 2022Updated 4 years ago
- Turing completeness from two RISC instructions☆36Aug 3, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- creating a simple application to show how to use background jobs☆14Jul 17, 2022Updated 4 years ago
- A wasmCloud provider for the ollama API☆12Apr 23, 2024Updated 2 years ago
- A simple hexview for cursive☆20Aug 3, 2024Updated 2 years ago
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- Benchmarks for tuning Maven performance☆12Apr 4, 2020Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- A Rodrigo Faro bot that matches people☆16Aug 18, 2026Updated last month
- an experimental hopefully low-level Wii emulator☆15Jul 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An simple implementation of an auto-follower/unfollower and reposter bot in bsky.app☆14Sep 12, 2024Updated 2 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- ✨ | a simple yet awesome configuration to make MY desktop look and feel amazing☆13May 9, 2021Updated 5 years ago
- count lines of code over emacs buffers☆18Jul 28, 2017Updated 9 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated 11 months ago
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- carmarketplace app demonstrates a spring boot microservices app with everything you need to run it in PRODUCTION.☆11Jun 5, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🔦 A minimal raytracing engine in written in C on MinilibX☆10Mar 23, 2021Updated 5 years ago
- ☆13Dec 29, 2020Updated 5 years ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- Projeto apresentado para explicar como utilizar uma solução de CDC de forma prática com o Kafka Connect.☆10Dec 5, 2023Updated 2 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 3 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- 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