build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Repository Index
47,133 repositories indexed
313–336 of 366 · Most stars
Monitor and restart background threads.
Plug that adds various HTTP Headers to make Phoenix/Elixir app more secure
- hex
- plug
- phoenix
- elixir
A helper library for LÖVE which allows to loads huge amount of assets super-easily :punch:
- love2d
- asset-loader
- love2d-library
- helper-library
The repository host gives no description.
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
📚 Update a pinned gist to contain your latest reads from goodreads
📚 Update a pinned gist to show your currently reading books and progress on Goodreads
- pinned-gist
- goodreads
- gist
- books
Free Monads and useful constructions to work with them
Chrome Extension To Reveal Observable Notebooks As Quarto QMD {ojs} Blocks & provide downloads of FileAttachments and zipped Quarto project
- observablehq
- quarto
- chrome-extension
- observable-notebook
Very simple plug which reads `X-Forwarded-For` or `Forwarded` header according to rfc7239 and fill `conn.remote_ip` with the root client ip.
A Gemini CLI extension for Beads (bd). Adds graph-based task management, dependency tracking, and context persistence to AI workflows.
- cli
- context-awareness
- gemini-cli
- gemini-cli-extension
A Java library (Jackson extension) for reading and writing Excel spreadsheets (XLSX/XLS) as POJOs.
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.
- adbreak
- adrianofdoom
- adtech
- hls-live-streaming
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
MicroPython module to format sensor readings for BTHome BLE advertising payloads
Download & automatically rename Pico-8 carts from the Lexaloffle BBS threads
Modern, profile-based hosts file manager for macOS. Block ads, trackers, and distractions with ease.
- ad-blocker
- dns
- hosts-file
- macos
📏 Dimension based safety in elixir
- elixir
- conversion
- types
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
MicroPython driver for MPR121 capacitive touch keypads and breakout boards
- micropython
- mpr121
- stm32f4
- capacitive-touch-sensor
Primitive Threads and Concurrency Operations for Coalton
Deno KV file system, compatible with Deno deploy. Saves files in 64kb chunks. You can organize files into directories. You can control the KB/s rate for saving and reading files, rate limit, user space limit and limit concurrent operations, useful for controlling uploads/downloads. Makes use of Web Streams API.
SmartSocket is an extensible open source, Java and PHP socket server engine. Its aim is to make creating multi-user applications as quick and painless as possible. With SmartSocket, you don't have to worry about keeping track of users, writing server code, managing threads, etc. All you have to do is use the simple communication protocol to send method call back and forth between the server and the client!