Pinned Repositories
3d-spherical
Spherical geometry simulation
austral
Systems language with linear types and capability-based security.
beancount-import
Web UI for semi-automatically importing external data into beancount
gnucash-to-beancount
Gnucash to Beancount Converter.
idris2-dom
Javascript DOM bindings for Idris2
nixos
NixOS, a Linux distribution based on the Nix package manager
nixpkgs
Nix Packages collection
personal_nixos
A place to keep track of my own nixos patches.
personal_nixpkgs
A place to keep track of my own nixpkgs patches.
plusone
Evaluation framework of clustering algorithm through plus one prediction
falsifian's Repositories
falsifian/3d-spherical
Spherical geometry simulation
falsifian/gnucash-to-beancount
Gnucash to Beancount Converter.
falsifian/nixos
NixOS, a Linux distribution based on the Nix package manager
falsifian/idris2-dom
Javascript DOM bindings for Idris2
falsifian/nixpkgs
Nix Packages collection
falsifian/austral
Systems language with linear types and capability-based security.
falsifian/beancount-import
Web UI for semi-automatically importing external data into beancount
falsifian/bspwm
A tiling window manager based on binary space partitioning
falsifian/cli
A Go based command line tool for exercism.io.
falsifian/damn-vulnerable-defi
falsifian/doc
🦋 Raku documentation (tools and docs)
falsifian/ghcjs
Haskell to JavaScript compiler, based on GHC
falsifian/Idris2
A purely functional programming language with first class types
falsifian/minisat
A minimalistic and high-performance SAT solver
falsifian/minisat-bundle
Minisat Haskell bundle
falsifian/mu
maildir indexer/searcher + emacs mail client + guile bindings
falsifian/neomutt
:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat
falsifian/neomutt.github.io
:books: NeoMutt web pages
falsifian/nixos-homepage
Sources for nixos.org
falsifian/openai-gym-sandbox
Experiments with OpenAI gym environments (https://gym.openai.com/)
falsifian/openbsd-wip
OpenBSD work in progress ports
falsifian/openbsd_src
Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
falsifian/OpenGLRaw
Haskell bindings to OpenGL (direct C bindings)
falsifian/pdl
Scientific computing with Perl
falsifian/plan9port
Plan 9 from User Space
falsifian/ports
Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.
falsifian/rsync
An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.
falsifian/vimb
Vimb - 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 completely keyboard-driven, efficient and pleasurable browsing-experience.
falsifian/wireguard-go
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-go
falsifian/yi
The Haskell-Scriptable Editor