Autonomous multi-agent framework to optimize scientific software
- acceleration
- agentic-ai
- ai-agents
- bioinformatics
Repository Index
47,133 repositories indexed
577–600 of 648 · Most stars
Clojure wrapper for the Tesseract OCR software
Real internet services, not corporate promises
- self-hosting
- server
- debian-linux
- free-software
Community-driven fork of Mastodon's federated social network software
- microblog
- activitypub
- social-network
- social-media
Home of Repeatable Software Development Process
- business
- business-process
- management
- methodology
Interview Test using a To Do List
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal
CMake BASIS makes it easy to create sharable software and libraries that work together. This is accomplished by combining and documenting some of the best practices and utilities available. This project supplies a fully integrated suite of functionality to make the whole process seamless!
- cmake
- project-template
- project-creation
- cmake-basis
Vulkan Ignoble Software Rasterizer: Software rasterizer implementing Vulkan. Just for fun.
- vulkan
- vulkan-api
- rasterizer
Project intended to make Attack Maps part of software development by reducing the time it takes to complete them.
TranslatedSkia based 2d graphics SwiftUI rendering library. It is based on Rust to implement software rasterization to perform rendering.
- rust
- skia
- swift
- swiftui
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
UI for GameMaker. Looks like Windows Forms. Use this if you're not making a game, or otherwise if you want your game to look like tax software or something.
- gamemaker
- gamemaker-studio-2
- gamemaker-language
- gamemaker-projects
Resolve software differencing and merging
SoftwareRenderer written in Delphi
- pascal
- software
- renderer
- 3d
This repository is discontinued, see https://github.com/ValveSoftware/Fossilize
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Intervention Engine specific GoLang software.
- health
Community list of shared micromobility APIs, apps, datasets, research, and software
Public release of the DeepPhe analytic software
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Scout is a standalone open source software solution for DIY video security.
Software Transactional Locks