-
arewehackersyet Public
Forked from JJJollyjim/arewehackersyetTracking the availability of Kali Linux packages in NixOS
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 10, 2025 -
-
nixpkgs-review-gha Public
Forked from Defelo/nixpkgs-review-ghaRun nixpkgs-review in GitHub Actions
JavaScript MIT License UpdatedApr 28, 2025 -
monokaish.el Public
Monokaish theme for emacs
Emacs Lisp GNU General Public License v3.0 UpdatedApr 20, 2025 -
nixpkgs-update Public
Forked from nix-community/nixpkgs-updateUpdating nixpkgs packages since 2018
Haskell Creative Commons Zero v1.0 Universal UpdatedApr 19, 2025 -
-
cgt-tools Public
Combinatorial Game Theory toolkit
-
pulse-binding-rust Public
Forked from jnqnfe/pulse-binding-rustFFI and bindings for using PulseAudio from the Rust programming language.
Rust Apache License 2.0 UpdatedApr 13, 2025 -
-
hsbindgen Public
Forked from mozilla/cbindgenFork of cbindgen that generates Haskell FFI bindings
Rust Mozilla Public License 2.0 UpdatedMar 18, 2025 -
agenix.el Public
Transparent editing for agenix secrets inside Emacs
-
cardano-transaction-lib Public
Forked from Plutonomicon/cardano-transaction-libA Purescript library for building smart contract transactions on Cardano
PureScript MIT License UpdatedFeb 9, 2025 -
texpresso Public
Forked from let-def/texpressoTeXpresso: live rendering and error reporting for LaTeX
C MIT License UpdatedJan 29, 2025 -
transducers Public
Transducers in Haskell
Haskell GNU Affero General Public License v3.0 UpdatedJan 22, 2025 -
hat Public
AT protocol types for Haskell
-
just Public
Just a collection of zero dependency (only stdlib) graphics related libraries and programs.
-
rune Public
Forked from CeleritasCelery/runeRust VM for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedJan 2, 2025 -
panim-lua Public
Template for writing panim plugins in lua
C GNU Affero General Public License v3.0 UpdatedDec 26, 2024 -
vitalk-py Public
Modern implementation of vitalk in python
Python GNU Affero General Public License v3.0 UpdatedDec 22, 2024 -
imgui-rs Public
Forked from imgui-rs/imgui-rsRust bindings for Dear ImGui
Rust Apache License 2.0 UpdatedNov 15, 2024 -
imghcprof Public
Graphical viewer for GHC .prof files
-
-
pds Public
Forked from bluesky-social/pdsBluesky PDS (Personal Data Server) container image, compose file, and documentation
Shell Other UpdatedNov 1, 2024 -
nixless-pkgs Public
Nix derivations without nix the language
-
cardano-wallet Public
Forked from cardano-foundation/cardano-walletHTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Haskell Apache License 2.0 UpdatedSep 24, 2024 -
imgui-rs-template Public
Template for imgui-rs with cross compilation to Windows
Rust GNU Affero General Public License v3.0 UpdatedSep 17, 2024 -
raylib-rs Public
Forked from raylib-rs/raylib-rsRust bindings for raylib
C Other UpdatedSep 16, 2024 -
elrage Public
Emacs interface to rage
-
enderton-lean Public
Lean solutions to "A Mathematical Introduction to Logic"
{{ message }}