Library to create Coq record update functions
Repository Index
47,133 repositories indexed
9,289–9,312 of 11,683 · Most stars
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
proper URL bar history for D3.js
Profanity filter library for Elixir
A fast float to string algorithm based on schubfach.
- ieee754
- performance
- printing
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Simple iOS game
Chromacore is a 2D musical platformer set in a dark, black & white world that progressively becomes more colorful and happy through successful gameplay.
A Crystal library to handle IPv4 and IPv6 addresses in a modern and productive way.
- ipv4
- ipv6
- crystal
Command line cross platform builder and runner for Love2D projects
A collection of awesome Haskell videos. Inspired by awesome projects line.
- awesome
- haskell
- videos
- awesome-list
The standards-based Web Components multitool. Generate Custom Elements Manifests, Dev Server, LSP, and MCP for your app or design system
- custom-elements
- custom-elements-manifest
- go
- golang
A library that generates postman collection and integration tests from java code
- api
- insomnia-collections
- integration-testing
- jakartaee
A showcase of awesome programming language projects and resources written in Elm.
Try Yii2 with Vagrant VM + Ansible provisioning = Complete readymade virtual server playground
This plugin will help you to set material design icons to your Xamarin projects In Visual Studio.
Repository of tools, info, links and discussion for a long-term solution of J2ME emulation
- j2me
- midp
- cldc
fpreact provides an alternative api for creating preact components, heavily inspired by elm.
ZetaStitcher is a tool designed to stitch large volumetric images such as those produced by Light-Sheet Fluorescence Microscopes.
- stitching
- microscopy
- microscopy-images
- fluorescence-microscopy-imaging
ROS QGIS Plugin prototype
Simple line of code counter written in Go
- go
- golang
- line-of-code
- loc
PHP port of Less.js
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Nginx SSO middleware for protecting your internets.