Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
Repository Index
47,133 repositories indexed
1–24 of 35 · Most stars
A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
- hacker
- movie
- effect
- sneakers
A drop-in universal library helps you to manage the navigation bar styles and makes transition animations smooth between different navigation bar styles while pushing or popping a view controller for all orientations. And you don't need to write any line of code for it, it all happens automatically.
- kmnavigationbartransition
- navigationbar
- transition
- transition-animations
Library project to display DialogFragment with a blur effect.
Self-contained Machine Learning and Natural Language Processing library in Go
Dynamically changes status bar style depending on content behind it
- status
- bar
- tint
- uikit
Full-stack Elixir web framework that runs your Elixir code in the browser
- beam
- components
- elixir
- erlang
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Motion-graphics skills for Claude Code and Codex.
A .NET library to parse and execute JavaScript code.
- javascript
- compiler
- library
A simple timetracker for the command line. It saves a log of all tracked activities as a plaintext file and allows you to create flexible reports.
- time-tracker
- productivity
- command-line
- rust
an augmented reality attempt
iOS/OSX DSP for audio (with Novocaine)
The privacy-first menu bar manager for macOS. Now 100% free and open source (MIT) — every feature unlocked. Native, lightweight, and scriptable.
🚀 BarTranslate, a handy (free) menu bar translator widget for macOS.
cheek: a pico-sized declarative job scheduler
- cron
- jobs
- orchestration
- go
A puzzle game with bridges, houses, tolls, and subways for iOS
The Balanced Routing Table (BART) adapts D.E. Knuth's Allotment Routing Table (ART) algorithm to deliver comparable lookup speeds with superior update efficiency and a significantly smaller memory footprint.
- ip
- ipv6
- cidr
- ip-routing
Just some random libs I have lying around, now with version control!
🚀📦 Multi-tenancy support for GORM managed databases
- echo
- go
- gorm
- middleware
The repository host gives no description.
- sitecore
- exm
- sitecore-forms
- blogpost
Cosmos Journeyer is a space exploration game running directly in the browser! Take your spaceship and witness the beauty of this virtually infinite universe.
- procedural-generation
- procedural
- webgl2
- webgl
Automated visual testing
An attempt at unifying lua class libraries to provide a common API.