Serverless Reference Architecture for creating an IoT Backend
Repository Index
47,133 repositories indexed
1,105–1,128 of 1,850 · Most stars
Awesome list of software that I use to do research in medical imaging.
Simple and lightweight computational geometry library for .Net
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
An alternative Packagemanager for the Delphi-IDE
- delphi
- delphinus
- packagemanager
IPFS Storage service with search capability
PowerToys Run Plugin enabling searching of the clipboard history and pasting the selected item.
A convertor from .pcap network capture files to HTTP Archive files.
Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
A new desktop installer and curated and signed package ecosystem for FreeBSD; inspired by Omarchy, FreeBSD and the classic world of video games
Evidence archive for Jesus of Nazareth: research dossier (PDF), New Testament, gnostic and extracanonical gospels, church fathers, ancient witnesses, Roman legal documents, archaeology, and all 238 cited references — searchable reader at https://sybil-solutions.github.io/all-historical-evidence-of-jesus-christ/
Enable the power of fzf fuzzy search for the neovim built in lsp
A library and microservice implementing the health and care terminology SNOMED CT with support for cross-maps, inference, fast full-text search, autocompletion, compositional grammar and the expression constraint language.
- terminology
- snomed-ct
- snomed
- terminology-server
CaseCite is an open-source, self-hosted legal RAG caselaw research & document analysis platform.
- legal
- legal-ai
- legal-tech
- legaltech
Project based on latest .NET (v6.0) technologies for building scalable web api, along with clean architecture patterns.
Docker image for Logstash 1.4
- docker
- elasticsearch
- elk
- kibana
Open Source Community for AI Researchers
Asp.Net Core Server Side for Jquery DataTables Multiple Column Filtering and Sorting with Pagination and Excel Export
- asp-net-core
- asp-net-core-mvc
- asp-net-core-web-api
- asp-net-core-razor-pages
PDF typesetting tool for Markdown files
Haplotype-aware CNV analysis from single-cell RNA-seq, ATAC-seq, and multiome
- cancer-genomics
- cnv-detection
- single-cell
- phylogeny
Strata Files: a fast, native, keyboard-first file manager and Finder alternative for macOS. Instant search, live folder sizes, disk usage map, dual pane.
- appkit
- file-manager
- finder-alternative
- macos
An autonomous agent that profiles, optimizes, and validates AI training code.
X (Twitter) scraper API, Twitter MCP server & Claude skill to scrape tweets, profiles & followers. Not affiliated with X Corp.
- mcp
- mcp-server
- twitter-api
- x-api
Simple fuzzy search