Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.
Repository Index
47,133 repositories indexed
1,513–1,536 of 1,964 · Most stars
A simple Spotify lyrics viewer menu bar app for macOS in Swift 3
- dmg
- lyrics
- macos
Module to disable OpenSearch/Elasticsearch in Magento2. Disable also fulltext indexing for category search.
A 3D-graphic and game engine for Delphi and Windows.
- engine
- 3d-graphics
- game-development
- delphi
Comparison of OpenGL and Vulkan API in terms of performance.
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
A reusable Django app that sends metrics about your project to InfluxDB
Elastic search datasource for CakePHP
Rapid generics/defaults equivalent classes for Delphi (XE8+)
The Configurable Math Library
- vector-math
- expression-template
- cplusplus-11
- graphics
Advanced physics engine library based on Chipmunk in C#
a checker for the geojson format. goes beyond a schema, checking semantics and producing character-level warnings.
A Python interface to HERE location APIs with support for synchronous and asynchronous HTTP calls.
- python-3
- wrapper
- api-wrapper
- heremaps
The repository host gives no description.
Modernized Pascal Anti-Grain Geometry
- graphics
- antigrain
- object-pascal
🪓 High-Speed Log Analysis & Forensics Tool - Part of NullSec Toolkit
k6 extension to output real-time test metrics to an InfluxDB 2.x database
String metrics and phonetic algorithms for Elixir (e.g. Dice/Sorensen, Hamming, Jaccard, Jaro, Jaro-Winkler, Levenshtein, Metaphone, N-Gram, NYSIIS, Overlap, Ratcliff/Obershelp, Refined NYSIIS, Refined Soundex, Soundex, Weighted Levenshtein)
Real-Time Spherical Array Renderer for binaural reproduction in Python
- python
- signal-processing
- binauralaudio
- 3d-audio
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
A curated list of awesome work on video generation and video representation learning, and related topics.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A Grid based 2D Graphics library
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts