Innocentsax / DSA_IN_JAVAView external linksLinks
Data Structure and Algorithm in Java
☆19Feb 8, 2026Updated last week
Alternatives and similar repositories for DSA_IN_JAVA
Users that are interested in DSA_IN_JAVA are comparing it to the libraries listed below
Sorting:
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated last month
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last week
- Sift client libraries and protocol buffers☆16Updated this week
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆13Oct 2, 2025Updated 4 months ago
- ☆17Jan 3, 2025Updated last year
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- A crate for working with the Task Execution Service (TES) specification.☆13Jan 8, 2026Updated last month
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Dec 15, 2025Updated 2 months ago
- An actor implementation in Rust☆10Oct 12, 2025Updated 4 months ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- The Holon Platform is a Java development ecosystem to create and maintain high quality, enteprise-grade web applications and services. Ge…☆17Jan 9, 2026Updated last month
- Protobufs for functional programming☆11May 19, 2025Updated 8 months ago
- Markdown Editor and Viewer Written in Rust & GPUI☆37Jan 6, 2026Updated last month
- Protocol buffers definition for TuiHub, import as a library rather than a directory☆11Feb 8, 2026Updated last week
- The Redis client is a software tool that allows you to connect to a Redis database over the network, send commands, and receive responses…☆10May 19, 2025Updated 8 months ago
- Completed codelabs from the gRPC project.☆12Oct 28, 2025Updated 3 months ago
- Falco plugins SDK for Rust☆12Jan 7, 2026Updated last month
- A safe & fast low-level language.☆14Feb 6, 2026Updated last week
- C memory allocator with selectable First/Next/Best-Fit, per-allocation tracing, optional mark-and-sweep GC, and a configurable logging AP…☆15Jan 12, 2026Updated last month
- Simple and performant reactivity for building user interfaces☆16Jan 5, 2026Updated last month
- Chat bot framework in V☆13Jul 5, 2023Updated 2 years ago
- Torch is a fast, secure, and production-ready web framework for Rust. Built on Tokio and Hyper, it provides everything you need to build …☆19Jul 29, 2025Updated 6 months ago
- NodeBB Plugin for configuring multiple OAuth2 endpoints for login☆13Updated this week
- My Agda blog/lab/playground☆12Updated this week
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 10 months ago
- new stack, who this?☆10Dec 31, 2023Updated 2 years ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Updated this week
- A computer algebra system in Smalltalk☆12Sep 5, 2025Updated 5 months ago
- A Bazel BEP visualizer written in Rust using Leptos☆12Dec 23, 2025Updated last month
- Home of the Swag programming language compiler and standard workspace☆17Nov 29, 2025Updated 2 months ago
- A framework for building cross platform applications, tools, and games.☆12Updated this week
- Experiments with composable lock-free concurrency☆22Updated this week
- Jawn is a work-in-progress full stack web framework for Java - Harness your drowsiness☆14Dec 19, 2025Updated last month
- A customizable cache library in Zig with multiple eviction policies.☆12Jul 15, 2025Updated 7 months ago
- A cross platform Javascript engine for Swift☆15Jan 2, 2025Updated last year
- A Zig/ZLS installer☆17Jul 31, 2025Updated 6 months ago
- Modular server framework with ConnectMe (WebSockets + PackMe) and MongoDb support.☆23Dec 3, 2023Updated 2 years ago
- P4 formalization using Ott and HOL4☆15Jan 17, 2026Updated 3 weeks ago