A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
47,133 repositories indexed
3,433–3,456 of 4,296 · Most stars
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
All-in-one hackathon platform for organisers
- hackathon
- hackathon-platform
- event-management
- hacktoberfest
KBCsv is an efficient, easy to use .NET parsing and writing library for the CSV (comma-separated values) format.
- csv
- netstandard
- c-sharp
- dotnet
A C++ data container replicating std::stack functionality but with better performance than standard library containers in a stack context.
- stack
- cpp
- container
Advanced Cross Platform Audio Engine for libGDX based on MiniAudio
- audio-engine
- libgdx
- miniaudio
- cross-platform
AI-powered platform for OSINT intelligence analysis. Features archive discovery with hypothesis-driven investigation, GLiNER entity extraction, Mapbox geospatial visualization, network analysis, and document processing. Built with FastAPI, Next.js, Weaviate, and DSPy.
- ai-agents
- document-processing
- dspy
- entity-extraction
:art: Image processing toolbox for R
- r
- bioinformatics
- image-processing
- image-analysis
MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.
- python3
- pyqt5
- gplv3
- irc-client
Free Transform Tool (AS, JS) for manipulating objects in 2D space.
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
Docker Compose setup to self-host Swetrix CE - a privacy-focused, cookieless web analytics platform
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Get CPU, Memory and Network informations of the running OS and its processes
Continuous infrastructure drift detection with historical tracking and notifications.
Remake of Earth 2140 using OpenRA.
- cross-platform
- csharp
- dotnet
- game
GoEventBus — high-performance event bus with a decision layer.
- golang
- library
- event-driven
- concurrency
A simple Xamarin.Forms control to display a round badge
The Preside Platform is an open source application development platform for the Lucee language that provides content management, rapid admin application development, rules engine, email templating, and much much more.
The official VS Code extension for the RuboCop linter and code formatter.
- code-formatter
- linter
- rubocop
- ruby
Syllabus and other general course information
High performance reactive PostgreSQL client written in Java
Marionette Form View, Easy Form Validation, Serialization and Submission
A simple storm performance/stress test