-
devtools-flake Public
A nix flake with opinionated development tools configurations.
Nix GNU General Public License v3.0 UpdatedOct 27, 2026 -
-
-
nix-crypto Public
Nix plugin which provides functions to perform cryptography.
-
tikal-prelude Public
General purpose utilities developed alongside Tikal.
Nix GNU General Public License v3.0 UpdatedJul 21, 2026 -
-
-
-
Open3D Public
Forked from isl-org/Open3DOpen3D: A Modern Library for 3D Data Processing
C++ Other UpdatedDec 19, 2024 -
-
taskcafe Public
Forked from JordanKnott/taskcafeAn open source project management tool with Kanban boards
TypeScript MIT License UpdatedOct 3, 2024 -
mobile-nixos Public
Forked from mobile-nixos/mobile-nixos📱 (rebooting... please wait...)
C MIT License UpdatedSep 21, 2024 -
-
-
biopython Public
Forked from biopython/biopythonOfficial git repository for Biopython (originally converted from CVS)
Python Other UpdatedJul 18, 2024 -
InfiniTime Public
Forked from InfiniTimeOrg/InfiniTimeFirmware for Pinetime smartwatch written in C++ and based on FreeRTOS
C GNU General Public License v3.0 UpdatedJul 12, 2024 -
pymol-open-source Public
Forked from schrodinger/pymol-open-sourceOpen-source foundation of the user-sponsored PyMOL molecular visualization system.
C Other UpdatedJul 10, 2024 -
nix-packages Public
Personal repository of nix packages.
Nix GNU General Public License v3.0 UpdatedJul 8, 2024 -
poetry2nix Public
Forked from nix-community/poetry2nixConvert poetry projects to nix automagically [maintainer=@cpcloud]
Nix MIT License UpdatedJul 1, 2024 -
reflex-dom Public
Forked from reflex-frp/reflex-domWeb applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 27, 2024 -
reflex Public
Forked from reflex-frp/reflexInteractive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 26, 2024 -
cbr-tools-extra Public
Forked from TUM-CBR/cbr-tools-extraAdditional components for CBR tools with more requirements
Python GNU General Public License v2.0 UpdatedMar 17, 2024 -
pymol-plugins Public
Forked from TUM-CBR/pymol-pluginsPymol plugins developed by CBR
Python GNU General Public License v2.0 UpdatedMar 17, 2024 -
qtui-generator Public
Automatic generator of Haskell bindings for QT designer files.
Haskell GNU General Public License v2.0 UpdatedNov 19, 2023 -
-
hoppy-abstractions Public
Boilerplate to work with hoppy generated bindings.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 12, 2023 -
informatica-2021-2022 Public
Forked from universidad-del-istmo/informatica-2021-2022TeX UpdatedAug 25, 2021 -
XHints Public
Perform actions on selected text with XMonad
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 6, 2021 -
polyvariant Public
An implementation of a flow analysis for higher order languages
-



