-
Mew Public
Forked from kazu-yamamoto/MewMessaging in the Emacs World
Emacs Lisp BSD 3-Clause "New" or "Revised" License UpdatedJan 14, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 11, 2026 -
Gauche-memcache Public
A package of memcached client utility for Gauche
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedDec 15, 2025 -
-
sam3 Public
Forked from facebookresearch/sam3The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that sho…
Python Other UpdatedDec 8, 2025 -
BifurcationKitDocs.jl Public
Forked from bifurcationkit/BifurcationKitDocs.jlDocumentation for BifurcationKit.jl
Julia MIT License UpdatedNov 18, 2025 -
allometry Public
An R package for allometric datasets
-
-
rdmclient Public
Forked from RCOSDP/rdmclientA python library and command-line client for file storage on OSF
Python BSD 3-Clause "New" or "Revised" License UpdatedJul 2, 2025 -
-
sam2 Public
Forked from facebookresearch/sam2The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…
Jupyter Notebook Apache License 2.0 UpdatedFeb 20, 2025 -
pyproject.nix Public
Forked from pyproject-nix/pyproject.nixA collection of Nix utilities to work with Python projects [maintainer=@adisbladis]
Nix MIT License UpdatedJan 15, 2025 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedJan 14, 2025 -
jaconv Public
Forked from ikegami-yukino/jaconvPure-Python Japanese character interconverter for Hiragana, Katakana, Hankaku, and Zenkaku
Python MIT License UpdatedJan 12, 2025 -
aalv-2024 Public
Simulation code for Sci Rep 14, 8521 (2024)
R GNU General Public License v3.0 UpdatedDec 3, 2024 -
raccoon Public
Forked from shlienlab/raccoonMulti-scale clustering in Python
Python GNU General Public License v3.0 UpdatedJul 12, 2024 -
depmixS4 Public
Forked from depmix/depmixS4R package to define and fit mixture and hidden Markov (dependent mixture) models
R UpdatedMay 24, 2024 -
rhosa Public
Higher-Order Spectral Analysis in R
-
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedDec 28, 2023 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedDec 28, 2023 -
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedNov 17, 2023 -
-
awesome-vision-ac-jp Public
An awesome list of 大学ビジョン
Creative Commons Zero v1.0 Universal UpdatedMay 2, 2023 -
awesome-wlan-ac-jp Public
An awesome list of 大学無線LAN
Creative Commons Zero v1.0 Universal UpdatedMay 2, 2023 -
osx-dictionary.el Public
Forked from xuchunyang/osx-dictionary.elMac OS X Dictionary.app interface for Emacs
Emacs Lisp UpdatedAug 1, 2022 -
spuriousimportance Public
An example for important predictors of spuriously low importance
R GNU General Public License v3.0 UpdatedJan 13, 2022 -
-
gmaker Public
Utilities for writing GNU makefiles in R
R GNU General Public License v3.0 UpdatedJun 21, 2021
{{ message }}