-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 24, 2025 -
-
Project management tool for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 13, 2024 -
combobulate Public
Forked from mickeynp/combobulateStructured Editing and Navigation in Emacs with Tree-Sitter
Emacs Lisp GNU General Public License v3.0 UpdatedAug 23, 2024 -
-
poetry2nix Public
Forked from nix-community/poetry2nixConvert poetry projects to nix automagically [maintainer=@adisbladis]
Nix MIT License UpdatedFeb 29, 2024 -
chrono Public
Forked from chronotope/chronoDate and time library for Rust
Rust Other UpdatedOct 9, 2023 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJun 24, 2023 -
-
plasma-manager Public
Forked from nix-community/plasma-managerManage KDE Plasma with Home Manager
Nix MIT License UpdatedJul 22, 2022 -
rustler Public
Forked from rusterlium/rustlerSafe Rust bridge for creating Erlang NIF functions
Rust Apache License 2.0 UpdatedJul 13, 2022 -
xmobar Public
Forked from mathstuf/xmobarA minimalistic status bar
Haskell Other UpdatedMay 16, 2022 -
passage Public
Forked from FiloSottile/passageA fork of password-store (https://www.passwordstore.org) that uses age (https://age-encryption.org) as backend.
Shell Other UpdatedMay 1, 2022 -
ghc.nix Public
Forked from alpmestan/ghc.nixNix (shell) expression for working on GHC
Nix BSD 3-Clause "New" or "Revised" License UpdatedMar 6, 2022 -
-
Packages and commands for using Plan 9 from Go
Go MIT License UpdatedDec 17, 2021 -
-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedOct 19, 2021 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedOct 13, 2020 -
essence-of-live-coding-tutorial Public
Forked from turion/essence-of-live-coding-tutorialTutorial for essence-of-live-coding
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 21, 2020 -
essence-of-live-coding Public
Forked from turion/essence-of-live-codingUniversal Live Coding & Functional Reactive Programming Framework
Haskell UpdatedAug 16, 2020 -
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedFeb 23, 2020 -
-
cabal-extras Public
Forked from phadej/cabal-extrasA tool suite to aid Haskell development using `cabal-install`
Haskell UpdatedFeb 13, 2020 -
-
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedOct 25, 2019
{{ message }}