Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
47,133 repositories indexed
961–984 of 1,304 · Most stars
Recursion schemes for Idris
Drop-in Symfony bundle for currency conversion: configurable services, multi-provider exchange rates with fallback and caching.
Create persistent code notes without modifying code
Clojure/ClojureScript library for accelerated browser data deserialization
Simple ruby version manager for fish
A lightweight and blazing fast Neovim version manager.
A Unicode-based case conversion library for Go
A Sane Project-wise Bookmarks Plugin with Persistent Storage Based on LSP for Neovim.
Bluetooth LE Sensor Manager for iOS and macOS
Parse placeholder and wildcard text commands
Fully featured Go (golang) command line option parser with built-in auto-completion support.
andle is an Android tool help you sync dependencies, sdk or build tool version.
Node module that is bridged with the Java Hapi HL7 library.
A collection of Scriptable widgets I've built.
C++ CSV parser
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Subtitling Conversion Framework
Recursively flatten an array or arrays. This is the fastest implementation of array flatten.
A Neovim plugin to help with css unit, and number conversions.
Correctly rounded monetary amounts and exchange rates for Go
ABNF in, parser out
CLI for managing AI agent squads. Status, memory, goals, feedback, and dashboard for your autonomous agents.
Erlang library for conversion from one local time to another
Interactive semantic versioning for Elixir packages