-
bayesianVARs Public
Forked from luisgruber/bayesianVARsMCMC estimation of Bayesian Vectorautoregressions
R GNU General Public License v3.0 UpdatedOct 23, 2025 -
niri Public
Forked from YaLTeR/niriA scrollable-tiling Wayland compositor.
Rust GNU General Public License v3.0 UpdatedOct 20, 2025 -
-
MPD Public
Forked from MusicPlayerDaemon/MPDMusic Player Daemon
C++ GNU General Public License v2.0 UpdatedSep 26, 2025 -
RiskPortfolios Public
Forked from ArdiaD/RiskPortfoliosFunctions for the construction of risk-based portfolios
R GNU General Public License v2.0 UpdatedJul 24, 2025 -
arbeitszeit.py Public
Keep track of your working hours the UNIX way - using plain text files
Python GNU General Public License v3.0 UpdatedJun 15, 2025 -
pkgstats.archlinux.de Public
Forked from archlinux-de/pkgstats.archlinux.deArch Linux package statistics website
PHP GNU General Public License v3.0 UpdatedJun 15, 2025 -
name-suggestion-index Public
Forked from osmlab/name-suggestion-indexCanonical common brand names, operators, transit and flags for OpenStreetMap.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJan 31, 2025 -
external-ip-providers Public
A list of services which return your external IP address over HTTPS in a plain text format.
-
armadillo-fourier-motzkin Public
An implementation of the Fourier-Motzkin elimination method in C++ using Armadillo
C++ MIT License UpdatedJan 13, 2025 -
Waybar Public
Forked from Alexays/WaybarHighly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
C++ MIT License UpdatedDec 28, 2024 -
xmpp-web Public
Forked from nioc/xmpp-webLightweight web chat client for XMPP server
Vue GNU Affero General Public License v3.0 UpdatedNov 14, 2024 -
bsvars Public
Forked from bsvars/bsvarsBayesian Estimation of Structural Vector Autoregressive Models
R Other UpdatedNov 13, 2024 -
garbled-circuit Public
Forked from ojroques/garbled-circuitA two-party secure function evaluation using Yao's garbled circuit protocol
Python UpdatedJun 14, 2024 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedApr 17, 2024 -
libexpat.github.io Public
Forked from libexpat/libexpat.github.io🌎 Code behind (redirecting http://www.libexpat.org/ and) https://libexpat.github.io/
HTML UpdatedMar 2, 2024 -
flyspray Public
Forked from flyspray/flysprayFlyspray Bug Tracking System
PHP GNU Lesser General Public License v2.1 UpdatedNov 25, 2023 -
osm-community-index Public
Forked from osmlab/osm-community-index💬 An index of community resources for OpenStreetMap
JavaScript ISC License UpdatedNov 11, 2023 -
vobject Public
Forked from skarim/vobjectA full-featured Python package for parsing and creating iCalendar and vCard files
Python UpdatedSep 16, 2023 -
AdguardFilters Public
Forked from AdguardTeam/AdguardFiltersAdGuard Content Blocking Filters
Adblock Filter List GNU General Public License v3.0 UpdatedAug 28, 2023 -
-
coq-100-theorems Public
Forked from rocq-community/coq-100-theoremsStatements of famous theorems proven in Coq [maintainer=@jmadiot]
HTML Other UpdatedJul 8, 2023 -
-
Coq-Combi Public
Forked from math-comp/Coq-CombiAlgebraic Combinatorics in Coq
Coq GNU General Public License v3.0 UpdatedApr 11, 2023 -
coq-library-complexity Public
Forked from uds-psl/coq-library-complexityCoq Other UpdatedApr 6, 2023 -
multinomials Public
Forked from math-comp/multinomialsMultinomials for the Mathematical Components library.
Coq Other UpdatedApr 2, 2023 -
OpenBeerMap.github.io Public
Forked from OpenBeerMap/OpenBeerMap.github.ioVisualiser et éditer les bières pressions disponibles dans les bars.
HTML MIT License UpdatedMar 6, 2023 -
modernxmpp Public
Forked from modernxmpp/modernxmppModern XMPP usage guide for client and library developers
Creative Commons Attribution Share Alike 4.0 International UpdatedJan 15, 2023 -
documentation Public
Forked from UnifiedPush/documentationDocumentaton about UnifiedPush
HTML Apache License 2.0 UpdatedJan 12, 2023 -
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.
Coq Other UpdatedDec 19, 2022
{{ message }}