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 terrible terrible thing☆12Apr 27, 2022Updated 4 years ago
- A C++ Template Generator and Project manager. The C++ equivalent to rust's cargo.☆18Jan 17, 2023Updated 3 years ago
- https://github.com/GazeAtStars/aAAAaAAaaaAaaAAaAaAAaAaaAaAaaAAaAaaaaAAaaAaaaaAaAaaaAAaAAAaaaaAAAAAAaAaAAaaAaaAaaaAaAaaaaaAaAaaaaAaa☆24Dec 19, 2022Updated 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 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Keyword highlighting Discord bot☆17Oct 2, 2023Updated 2 years ago
- well yes, but can you do it in types?☆17Dec 25, 2023Updated 2 years ago
- JavaScript engine written in Java☆36Jul 12, 2026Updated last week
- 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
- Asynchronous rust implementations of Server List Ping, Query, and RCON for minecraft.☆11May 10, 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
- ☆25Jun 30, 2023Updated 3 years 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.
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- ☆12Dec 21, 2024Updated last year
- Documenting and preserving the Nintendo 64☆14Nov 2, 2022Updated 3 years ago
- The power of the atom in the palm of your hand☆12May 4, 2022Updated 4 years ago
- Version 2 of the MINA Instruction Set Architecture.☆10Jan 31, 2024Updated 2 years ago
- Turing completeness from two RISC instructions☆35Aug 3, 2024Updated last year
- An unofficial slash command implementation for DSharpPlus☆10Apr 7, 2021Updated 5 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
- Parser to analyze MS OLE2 files (Structured Storage, Compound File Binary Format) and MS Office documents.☆16Aug 17, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Benchmarks for tuning Maven performance☆12Apr 4, 2020Updated 6 years ago
- Feature-rich bot aiming to satisfy moderation & entertainment needs.☆63Jan 1, 2025Updated last year
- 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
- Lovable memory-safe systems language with a pretty fast compiler☆20Updated this week
- 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 last year
- ✨ | a simple yet awesome configuration to make MY desktop look and feel amazing☆13May 9, 2021Updated 5 years ago
- [CSC 4263 Project] A maven project with a pretty great UI, developed using Java Spring and Swing frameworks, JDBC template, and other tec…☆12Sep 29, 2022Updated 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.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 9 months ago
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- Angular Tutorial :- Multiple ways to do inline editing in table using angular☆12Jun 8, 2022Updated 4 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