-
agda-group-theory Public
Group theory in Agda, including a proof of Lagrange's theorem.
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedDec 1, 2023 -
-
-
word24 Public
Forked from winterland1989/word24signed and unsigned 24-bit word types
Haskell Other UpdatedFeb 7, 2023 -
emacs-overlay Public
Forked from nix-community/emacs-overlayBleeding edge emacs overlay [maintainer=@adisbladis]
Nix UpdatedDec 9, 2022 -
nur-combined Public
Forked from nix-community/nur-combinedA repository of NUR that combines all repositories [maintainer=@Mic92]
Nix UpdatedNov 23, 2022 -
-
-
-
polysemy-optics Public
Optics for Polysemy.
-
zookeeper Public
Forked from apache/zookeeperApache ZooKeeper
Java Apache License 2.0 UpdatedJul 1, 2022 -
accumulo Public
Forked from apache/accumuloApache Accumulo
Java Apache License 2.0 UpdatedJun 29, 2022 -
nix-update-el Public
Forked from jwiegley/nix-update-elAn Emacs command for updating fetch declarations in place
Emacs Lisp UpdatedJun 10, 2022 -
emacs Public
Forked from emacs-mirror/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedJun 1, 2022 -
nix-mode Public
Forked from NixOS/nix-modeAn Emacs major mode for editing Nix expressions.
Emacs Lisp GNU Lesser General Public License v2.1 UpdatedMay 30, 2022 -
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedAug 17, 2021 -
nix-darwin Public
Forked from nix-darwin/nix-darwinnix modules for darwin
Nix MIT License UpdatedAug 6, 2021 -
attrs Public
Forked from python-attrs/attrsPython Classes Without Boilerplate
Python MIT License UpdatedDec 13, 2020 -
pdoc Public
Forked from pdoc3/pdoc🐍 ➡️ 📜 Auto-generate API documentation for Python projects
Python GNU Affero General Public License v3.0 UpdatedSep 5, 2020 -
-
-
regstokes-cuda Public
CUDA implementation of the method of regularized Stokeslets.
-
-
-
-
-
combinatorics-hs Public
Various combinatorics stuff.
Haskell GNU General Public License v3.0 UpdatedMar 27, 2019 -
{{ message }}