NES emulator written in Go.
Repository Index
47,133 repositories indexed
5,929–5,952 of 37,744 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A web-based demonstration of blockchain concepts.
- bitcoin
- blockchain
- blockchain-technology
Example projects using the AWS CDK
- cdk
- cdk-examples
WebGL point cloud viewer for large datasets
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
:art: A curated contents of amazing CSS :)
🔰 Instant PHP quality checks from your console
- php
- static
- analytics
- code
comment engine
- commenting
- comment-system
- self-hosted
- commenting-engines
Neovim plugin to manage the file system and other tree like structures.
- neovim
- file-explorer
- plugin
- lua
Familiar asyncio ORM for python, built with relations in mind
- orm
- asyncio
- async
- python3
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
- reverse-engineering
- malware-analysis
- binary-analysis
- parser
Main Liquibase Source
- java
- liquibase
- database-migrations
- java-library
ZenML 🙏: One AI Platform from Pipelines to Agents. https://zenml.io.
- mlops
- machine-learning
- data-science
- production-ready
TranslatedNext generation Electron build tooling based on Vite. A new generation of Electron development and build tool that supports source code protection
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
A fast, highly extensible, and event driven SMTP server
- smtp
- mta
- javascript
- spf
Lightweight Ruby
Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes
- privacy-protection
- privacy-enhancing-technologies
- face-recognition
- adversarial-machine-learning
A neovim lua plugin to help easily manage multiple terminal windows
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
- https
- acme
- letsencrypt
- golang
😎Awesome GIS is a collection of geospatial related sources, including cartographic tools, geoanalysis tools, developer tools, data, conference & communities, news, massive open online course, some amazing map sites, and more.
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
Plupload is JavaScript API for building file uploaders. It supports multiple file selection, file filtering, chunked upload, client side image downsizing and when necessary can fallback to alternative runtimes, like Flash and Silverlight.
- plupload
- file-upload
- file-utility