-
dynamic-mvector Public
Forked from AndrasKovacs/dynamic-mvectorA wrapper around MVector that enables push/pop/append functionality.
Haskell Other UpdatedDec 21, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedDec 21, 2025 -
-
-
-
leansec Public
Forked from remimimimimi/leansecTotal parser combinators library for Lean4
Lean GNU Affero General Public License v3.0 UpdatedDec 9, 2025 -
mm0 Public
Forked from digama0/mm0Metamath Zero specification language
Lean Creative Commons Zero v1.0 Universal UpdatedDec 8, 2025 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedDec 7, 2025 -
-
-
-
-
CanonicalLean Public
Forked from chasenorman/CanonicalLeanA Lean tactic for Canonical, a search procedure for terms in dependent type theory.
-
astrocommunity Public
Forked from AstroNvim/astrocommunityA community repository of common plugin specifications
Lua GNU General Public License v3.0 UpdatedAug 29, 2025 -
-
purescript-foldable-traversable Public
Forked from purescript/purescript-foldable-traversableClasses for foldable and traversable data structures
PureScript BSD 3-Clause "New" or "Revised" License UpdatedAug 23, 2025 -
purescript-json Public
Forked from purescript/purescript-jsonStandard types and basic operations for working with JSON
PureScript MIT License UpdatedAug 22, 2025 -
-
-
videochat-extension Public
Forked from videochat-extension/videochat-extensionChrome Extension that expands the functionality of your favorite online video chats: Chatruletka (Чат Рулетка), Ome.tv, Minichat, Chatrulez, Omegle & Coomeet Free | Расширение для Чат Рулетки
TypeScript Other UpdatedAug 9, 2025 -
purescript-spec-discovery Public
Forked from purescript-spec/purescript-spec-discoveryA purescript-spec extension that finds your specs automatically!
PureScript Mozilla Public License 2.0 UpdatedJul 22, 2025 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 14, 2025 -
airborne Public
Forked from brooklynDev/airborneRSpec driven API testing framework
Ruby MIT License UpdatedJul 8, 2025 -
activerecord-sortable Public
Forked from aishek/activerecord-sortablegem activerecord-sortable allows you easily integrate jquery ui sortable with your models
Ruby MIT License UpdatedJul 8, 2025 -
-
-
SRTranslator Public
Forked from sinedie/SRTranslatorSRT files translator
Python Do What The F*ck You Want To Public License UpdatedJul 8, 2025 -
spago Public
Forked from purescript/spago🍝 PureScript package manager and build tool
PureScript BSD 3-Clause "New" or "Revised" License UpdatedJul 8, 2025 -
SoniTranslate Public
Forked from R3gm/SoniTranslateSynchronized Translation for Videos. Video dubbing
Python Apache License 2.0 UpdatedJul 8, 2025
{{ message }}