A minimal and fast HTTP server framework for Deno.
- deno
- web
- web-framework
- aqua
Repository Index
47,133 repositories indexed
697–720 of 1,233 · Most stars
A small, convenient, dependency-free library for command-line argument parsing in Scala
Make any app run on Android Auto
A formalization of geometry in Coq based on Tarski's axiom system
Inspired by A Dark Room, A Dark Forest is an incremental experimental minimalistic idle game project.
- clicker-game
- desktop-app
- godot
- godot-engine
this tries to be a minimal cmake example, that covers sources resources dependencies and packaging.
Minimal code to connect to a CEF debugger.
Inline flagged js & css sources.
A small but powerful C# library for data binding
Small, focused, awesome methods added to core Ruby classes. Home of the endlessly useful nil_chain.
A SDK for the creation of analysis tools without obtaining app source code in order to profile runtime performance, examine code coverage, and track high-risk behaviors of a given app on Android 5.0 and above.
- binary-instrument
- android
- malware-research
- reverse-engineering
normalizes package metadata, typically found in package.json file.
- npm-cli
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
A small library that adds concurrency to CoreBluetooth APIs.
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.
Implementation of RAFT consensus in .NET core
- raft-consensus-algorithm
- raft
- raft-protocol
- raft-algorithm
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
✅ A minimal UI kit for Preact
- preact
- preact-ui-kit
- minimal-ui-kit
- preact-components
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Normalize GraphQL responses for persisting in the client cache/state
- javascript
- graphql
- normalizer
- state-management
Generic manual memory management for golang
- golang
- malloc
- memory-management
A malware/botnet analysis framework written in Ruby.
A lightweight, simple FTP server. Pure Java, no dependencies.
- ftp
- ftp-server
- java
- minimal