The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Repository Index
47,133 repositories indexed
313–336 of 402 · Most stars
With a subtle glass-like blur that melts into the background, Ayaka highlights your workspace without overwhelming it. Vibrant accents breathe life into the dark base, striking a perfect balance of minimalism and color.
Game engine for creating retro games for modern computers. Inspired by Pico-8 and powered by Ebitengine.
- game-development
- game-engine
- pixel-perfect
- game-library
:honey_pot: A simple and effective phpmyadmin honeypot
Screen effects made simple
dojo and django - the perfect couple
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Perfect CRUD, for Swift 6, is an object-relational mapping (ORM) system completely rewritten for modern concurrency and the swift ecosystem.
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
The Effect monad, for handling native side effects
A stand-alone Swift wrapper around the libpq client library, enabling access to PostgreSQL servers.
- swift
- server-side-swift
- postgresql
- perfect
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
An intro page with a full width background image, a bold animated menu and an iOS-like blurred effect behind the navigation
High-performance TUI framework for Go with DDD + Rich model inspired architecture, perfect Unicode, and Elm-inspired design. Modern alternative to Bubbletea/Lipgloss.
- bubbles
- bubbletea
- cli
- command-line
Modern, fast and ergonomic C++ HTTP/1.1, HTTP/2 and WebSocket server & client library for Linux, macOS and Windows, perfect for microservices.
- cpp
- cpp23
- http-server
- linux
This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.
- anaconda
- jupyter-notebook
- python
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
A collection of modules, tools and resources for play1
A lifecycle model for describing incident management
An easy to use camera object for Gamemaker studio, with options to change game and GUI resolution independently, and upscale pixelart
A robust, pixel-perfect collision engine for GameMaker Studio 2.3.
- gamemaker-studio-2-3
- gamemaker
- gamemaker-studio-2
- collision-detection
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Effectful bindings for SQLite (forked from IdrisWeb)
Advanced 3D audio features for libGDX desktop users.