Composable kmett style lenses
Repository Index
47,133 repositories indexed
193–216 of 367 · Most stars
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
A formalization of geometry in Coq based on Tarski's axiom system
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
Open source PTX to SASS assember (previously closed source by nvidia), more efficient SASS kernal for large scale Matrix Multiplication and Addition (MMA)
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Boost.org interprocess module
golang wrapper for github.com/OSGEO/gdal
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
A Lens Library for Javascript
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
OM#: Visual Programming | Computer-assisted Music Compositon
Reusable, composable patterns across Elixir libraries
- elixir
- pattern-matching
- composable-patterns
- guards
Go cross-platform OpenGL bindings.
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
A common cross-platform GUI library, the core uses Lazarus LCL.
- go
- govcl
- gui
- liblcl