Explore Projects
Discover 101 open source projects
Showing 81-100 of 101 projects
jzyong/game-server
A distributed Java game server with AI tools like state machine, behavior tree, A* pathfinding, and navigation mesh.
json-everything/json-everything
A comprehensive C# library providing support for various JSON-related features and formats.
microsoft/PowerPlatformConnectors
A repository for Microsoft Power Automate, Power Apps, and Azure Logic Apps connectors that enable no-code/low-code integrations.
2ndQuadrant/pglogical
A high-performance logical replication extension for PostgreSQL that enables fast, cross-version database replication.
SWI-Prolog/swipl-devel
SWI-Prolog is a powerful open-source Prolog implementation for developers working with logic programming.
informalsystems/quint
Quint is a formal specification language with delightful tooling for building verified software systems.
pdevito3/craftsman
A .NET scaffolding tool to help you stop worrying about boilerplate and focus on your business logic.
maticnetwork/contracts
Smart contracts for the Matic Network, a scalable Ethereum scaling solution.
eBay/NuRaft
A C++ implementation of the Raft consensus algorithm, providing a replication library for distributed systems.
surveyjs/survey-creator
Scalable, open-source survey software to generate dynamic, JSON-driven forms within JavaScript apps.
berkeley-abc/abc
ABC is a system for sequential logic synthesis and formal verification, not a vibe coder tool.
xid32/SoundMind
A dataset and reinforcement learning algorithm for endowing audio language models with bimodal reasoning abilities.
kubernetes-sigs/kube-scheduler-simulator
The Kubernetes scheduler simulator that helps developers test and debug their scheduling logic.
mostafatouny/awesome-theoretical-computer-science
A curated list of awesome resources on theoretical computer science, focused on math and logic techniques.
souffle-lang/souffle
Soufflé is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.
ncalc/ncalc
A fast and lightweight .NET expression evaluator library for math and logical operations.
mcsoto/LogicJS
LogicJS is a library for building declarative logic programming in JavaScript.
shayonj/pg_easy_replicate
Easily set up logical replication and switchover to a new database with minimal downtime using this Ruby library.
DrWaleedAYousef/Teaching
A collection of teaching materials covering various topics in computer science, data science, and mathematics.
Knockout-Contrib/Knockout-Validation
A validation library for the KnockoutJS framework that helps build robust, client-side validation logic.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.