Giters
James Cook (falsifian)

falsifian

Geek Repo

10

followers

3

following

18

stars

Home Page:https://www.falsifian.org/

Github PK Tool:Github PK Tool

James Cook's repositories

3d-spherical

Spherical geometry simulation

Language:HaskellStargazers:4Issues:4Issues:0

personal_nixpkgs

A place to keep track of my own nixpkgs patches.

Language:ShellLicense:NOASSERTIONStargazers:3Issues:3Issues:0

gnucash-to-beancount

Gnucash to Beancount Converter.

Language:PythonLicense:GPL-2.0Stargazers:2Issues:1Issues:0

nixos

NixOS, a Linux distribution based on the Nix package manager

Language:ShellLicense:MITStargazers:2Issues:3Issues:0

plusone

Evaluation framework of clustering algorithm through plus one prediction

Language:JavaStargazers:2Issues:5Issues:0

idris2-dom

Javascript DOM bindings for Idris2

Language:IdrisLicense:BSD-2-ClauseStargazers:1Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:1Issues:2Issues:0

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

beancount-import

Web UI for semi-automatically importing external data into beancount

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

bspwm

A tiling window manager based on binary space partitioning

Language:CLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

cli

A Go based command line tool for exercism.io.

Language:GoLicense:MITStargazers:0Issues:2Issues:0

damn-vulnerable-defi

Language:SolidityLicense:MITStargazers:0Issues:1Issues:0

doc

🦋 Raku documentation (tools and docs)

License:Artistic-2.0Stargazers:0Issues:0Issues:0

ghcjs

Haskell to JavaScript compiler, based on GHC

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

Idris2

A purely functional programming language with first class types

License:NOASSERTIONStargazers:0Issues:0Issues:0

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

minisat-bundle

Minisat Haskell bundle

License:NOASSERTIONStargazers:0Issues:0Issues:0

neomutt

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

License:GPL-2.0Stargazers:0Issues:0Issues:0

neomutt.github.io

:books: NeoMutt web pages

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

nixos-homepage

Sources for nixos.org

Language:XSLTStargazers:0Issues:3Issues:0

openai-gym-sandbox

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

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

openbsd_src

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

Language:CStargazers:0Issues:1Issues:0

OpenGLRaw

Haskell bindings to OpenGL (direct C bindings)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

pdl

Scientific computing with Perl

Language:PerlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

plan9port

Plan 9 from User Space

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ports

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

Language:MakefileStargazers:0Issues:1Issues:0

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.

License:GPL-3.0Stargazers:0Issues:0Issues:0

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.

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

wireguard-go

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

License:MITStargazers:0Issues:0Issues:0

yi

The Haskell-Scriptable Editor

Language:HaskellStargazers:0Issues:0Issues:0