formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Repository Index
59,132 visible repositories in the index
26,761–26,784 of 44,495 · Most stars
SVAR Core library is a collection of essential UI components written with Svelte.
Claude Code skill that makes launch videos, ads and music videos from one line: idea, script, visuals, voice, music, edit and review, then a review room where your notes make the next take
- agent-skills
- ai-video
- claude-code
- claude-skills
Vizabi is a framework for building visual data exploration tools freely provided by @Gapminder
Common Lisp 3D/2D Graphics Engine for OpenGL
Belay is a python library that enables the rapid development of projects that interact with hardware via a micropython-compatible board.
A Haskell implementation of the Tor protocol.
PowerShell module for simple Slack integration
- slack
- powershell
- powershell-modules
- slack-sender
Code highlighting for DraftJS using Prism
Looking Ahead: Modeling Future Evolution in Autoregressive Video Generation
- autoregressive-video-generation
- diffusion
- physics-plausibility
- video-generation
SynEdit is a syntax highlighting edit control, not based on the Windows common controls.
Hashing for Modern Object Pascal
- delphi
- fpc
- checksum
- stream
Ultra High-performance Lightweight Embedded and Server OLTP RDBMS✨
- database
- rdbms
- transaction
- imdb
Run Linux desktop apps on Android as native-looking apps: Debian and Flathub, GPU acceleration, a desktop mode, PRoot or chroot, Material You theming.
- android
- chroot
- jetpack-compose
- linux
The general personal libs I use in my Haxe projects.
Extend Prisma's `findMany` method to support Relay Cursor Connections
- prisma
- prisma2
- prisma-client
- relay
A simple and powerful library for using gradient layer, image, color
The repository host gives no description.
- cache
- data-structures
- go
- golang
The repository host gives no description.
- canvas-api
- blazor
The Everything is Real-Time C# Backend for Single Page Applications
- realtime
- push
- websocket
- webapp
Neovim plugin written in Lua, powered by omnisharp-roslyn, that aims to enhance the development experience for .NET developers.
- dotnet
- neovim
- neovim-plugin
- nvim
A modular Python application to collect intelligence for malicious hosts.
- cybersecurity
- investigation
Simple yet customizable bot framework written in Go.
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra