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:
- A C++ Template Generator and Project manager. The C++ equivalent to rust's cargo.☆18Jan 17, 2023Updated 3 years ago
- MultiServer is an application that makes managing multiple Minecraft servers a breeze.☆10Apr 28, 2025Updated last year
- Tomoe aims to be a helpful quality of life Discord bot.☆12Aug 6, 2025Updated last year
- Keyword highlighting Discord bot☆17Oct 2, 2023Updated 3 years ago
- well yes, but can you do it in types?☆17Dec 25, 2023Updated 2 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.
- N64 RSP torture test☆17Aug 31, 2024Updated 2 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
- Module to create custom console based apps in nodejs.☆12Jun 5, 2017Updated 9 years ago
- ⚙️ 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
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- ☆13Dec 21, 2024Updated last year
- the easiest way to implement content sharing. It's like a content management service, but the content is generated by users☆13Sep 16, 2022Updated 4 years ago
- Documenting and preserving the Nintendo 64☆16Nov 2, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Jul 9, 2022Updated 4 years ago
- Version 2 of the MINA Instruction Set Architecture.☆10Jan 31, 2024Updated 2 years ago
- Turing completeness from two RISC instructions☆36Aug 3, 2024Updated 2 years ago
- creating a simple application to show how to use background jobs☆14Jul 17, 2022Updated 4 years ago
- 🌎 Simple .NET implementation of JavaScript fetch API created following the ECMAScript language specification to achieve easy resource fe…☆12Jan 1, 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 8 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆19Sep 11, 2026Updated last month
- an experimental hopefully low-level Wii emulator☆15Jul 19, 2025Updated last year
- 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
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated last year
- 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 4 months ago
- create-three-app☆24Updated this week
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- A Serialization and Deserialization Library☆10Dec 16, 2022Updated 3 years ago