-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
neomutt Public
Forked from neomutt/neomutt✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
C GNU General Public License v2.0 UpdatedOct 6, 2024 -
maildir indexer/searcher + emacs mail client + guile bindings
C++ GNU General Public License v3.0 UpdatedSep 25, 2024 -
bspwm Public
Forked from baskerville/bspwmA tiling window manager based on binary space partitioning
C BSD 2-Clause "Simplified" License UpdatedJul 25, 2024 -
-
openbsd-wip Public
Forked from jasperla/openbsd-wipOpenBSD work in progress ports
C++ UpdatedMay 13, 2024 -
pdl Public
Forked from PDLPorters/pdlScientific computing with Perl
Perl Other UpdatedApr 19, 2024 -
beancount-import Public
Forked from jbms/beancount-importWeb UI for semi-automatically importing external data into beancount
Python GNU General Public License v2.0 UpdatedMar 21, 2024 -
vimb Public
Forked from fanglingsu/vimbVimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a compl…
C GNU General Public License v3.0 UpdatedJan 3, 2024 -
austral Public
Forked from austral/australSystems language with linear types and capability-based security.
OCaml Apache License 2.0 UpdatedAug 28, 2023 -
🦋 Raku documentation (tools and docs)
Raku Artistic License 2.0 UpdatedApr 27, 2023 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedDec 21, 2021 -
idris2-dom Public
Forked from stefan-hoeck/idris2-domJavascript DOM bindings for Idris2
-
neomutt.github.io Public
Forked from neomutt/neomutt.github.io📚 NeoMutt web pages
HTML Creative Commons Attribution 4.0 International UpdatedOct 30, 2021 -
ghcjs Public
Forked from ghcjs/ghcjsHaskell to JavaScript compiler, based on GHC
Haskell MIT License UpdatedAug 12, 2021 -
-
wireguard-go Public
Forked from WireGuard/wireguard-goMirror only. Official repository is at https://git.zx2c4.com/wireguard-go
Go MIT License UpdatedJun 19, 2021 -
openbsd_src Public
Forked from openbsd/srcPublic git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
C UpdatedApr 12, 2021 -
ports Public
Forked from openbsd/portsPublic git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.
Makefile UpdatedMar 2, 2021 -
minisat-bundle Public
Forked from jbransen/minisat-bundleMinisat Haskell bundle
Other UpdatedFeb 22, 2021 -
minisat Public
Forked from jbransen/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedFeb 16, 2021 -
damn-vulnerable-defi Public
Forked from OpenZeppelin/damn-vulnerable-defiSolidity MIT License UpdatedFeb 5, 2021 -
rsync Public
Forked from RsyncProject/rsyncAn open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.
C GNU General Public License v3.0 UpdatedDec 9, 2020 -
gnucash-to-beancount Public
Forked from andrewstein/gnucash-to-beancountGnucash to Beancount Converter.
-
OpenGLRaw Public
Forked from haskell-opengl/OpenGLRawHaskell bindings to OpenGL (direct C bindings)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 25, 2020 -
openai-gym-sandbox Public
Forked from colinmorris/openai-gym-sandboxExperiments with OpenAI gym environments (https://gym.openai.com/)
Python MIT License UpdatedNov 1, 2016 -
nixos-homepage Public
Forked from NixOS/nixos-homepageSources for nixos.org
XSLT UpdatedFeb 15, 2015 -
cli Public
Forked from exercism/cliA Go based command line tool for exercism.io.
Go MIT License UpdatedFeb 7, 2015 -
-
nixos Public
Forked from NixOS/nixosNixOS, a Linux distribution based on the Nix package manager