Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
88,573 visible repositories in the index
4,441–4,464 of 4,981 · Most stars
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
🧬 Progressive Web Components.
- webcomponents
- custom-elements
- light-dom
- builtin-custom-elements
A minimal Progressive Web App using Yew.
A gameboy game written in C using GBDK based on the modern classic Chrome offline game
- c
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
Music theory engine for embedded systems. Build musical instruments and controllers that interact with people and speak MIDI 1.0 and 2.0.
POMWright is a complementary test framework for Playwright written in TypeScript.
- playwright
- test
- chaining
- decorator
Classic nokia snake game using web.
HomeMaster is an open-source platform for local-first smart home automation using ESP32-based devices like MiniPLC and MicroPLC. This repository includes firmware, schematics, and documentation for creating modular, cloud-free automation systems fully compatible with Home Assistant via ESPHome
- automation-controller
- embedded-systems
- esp32
- esphome
A Go package that provides a simple way of accessing nested properties in maps and slices.
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
A curated dataset of malware and benign Windows executable samples for malware researchers
- machine-learning
- deep-learning
- malware-research
- malware-detection
A PostgreSQL assistant for developers Understand, optimize, and improve your PostgreSQL database with ease.
- design
- llm
- performance
- postgresql
Background job processing for Common Lisp
- common-lisp
- message-queue
A fast and optimized middleware server with an absurdly small amount of code (300 lines) built on top of native HTTP APIs with no dependencies. It also has a collection of useful middlewares: log file, serve static, CORS, session, rate limit, token, body parsers, redirect, proxy and handle upload. For Deno Deploy and other enviroments!
- deno
- middleware
- server
Password generator written in Golang, usable as a CLI or Go library. Provides options for human readable and accessibility friendly passwords.
- golang
- go
- go-library
- golang-library
☀️ A 17kb Preact & Redux based Progressive Web App that provides relevant information to the user outside of the tab.
Gaussian processes and Bayesian optimization for images and hyperspectral data
- image-processing
- hyperspectral-images
- gaussian-processes
- bayesian-optimization
Detect the sentiment captured in short pieces of text
- docker-image
- machine-learning
- machine-learning-models
- ibm
Realtime, cross-platform audio processing & synthesis.
Sample code for a java application that uses Elastic Beanstalk, S3, DynamoDB, and SQS to create a meme generation website and processing pipeline. For a demonstration of the application in action, see this talk from AWS re:Invent 2012: http://www.youtube.com/watch?v=YeRNErD81VA
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine