falsifian Goto Github PK

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

bspwm

A tiling window manager based on binary space partitioning

cli

A Go based command line tool for exercism.io.

damn-vulnerable-defi

doc

🦋 Raku documentation (tools and docs)

ghcjs

Haskell to JavaScript compiler, based on GHC

gnucash-to-beancount

Gnucash to Beancount Converter.

idris2

A purely functional programming language with first class types

idris2-dom

Javascript DOM bindings for Idris2

minisat

A minimalistic and high-performance SAT solver

minisat-bundle

Minisat Haskell bundle

neomutt

:envelope: Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat

neomutt.github.io

:books: NeoMutt web pages

nixos

NixOS, a Linux distribution based on the Nix package manager

nixos-homepage

Sources for nixos.org

nixpkgs

Nix Packages collection

openai-gym-sandbox

Experiments with OpenAI gym environments (https://gym.openai.com/)

openbsd_src

Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

openglraw

Haskell bindings to OpenGL (direct C bindings)

pdl

Scientific computing with Perl

personal_nixos

A place to keep track of my own nixos patches.

personal_nixpkgs

A place to keep track of my own nixpkgs patches.

plan9port

Plan 9 from User Space

plusone

Evaluation framework of clustering algorithm through plus one prediction

ports

Public git conversion mirror of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.

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.

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.

wireguard-go

Mirror only. Official repository is at https://git.zx2c4.com/wireguard-go