Highlights
- Pro
Stars
Open-source enterprise generative AI platform
Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]
Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.
Tool for automatically inferring inductive invariants of distributed protocols.
Fastest Gephi's ForceAtlas2 graph layout algorithm implemented for Python and NetworkX
Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
Creation of interactive networks using d3 Javascript
A light theme for Visual Studio Code
🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.
DDC monitor controls (brightness) for Mac OSX command line
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
A collaborative bibliography of work related to the theory and practice of computational effects
A text editor that will help you write clearer and simpler
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Automatically collect and visualize usage statistics in Ubuntu/OSX environments.