Beast code in Giters

Ryan Hendrickson's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION010

bubblewrap

Unprivileged sandboxing tool

Language:CNOASSERTION010

documentation

:book: documentation for modern JavaScript

Language:JavaScriptNOASSERTION030

gamescope

SteamOS session compositing window manager

NOASSERTION000

herring

Modern Django and ReactJS based web application for puzzlehunt team management!

Language:PythonMIT020

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

NOASSERTION000

LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.

Language:LiveScriptMIT030

mpv

🎥 Command line video player

Language:CNOASSERTION020

nix

Nix, the purely functional package manager

LGPL-2.1000

nix-community-infra

nix-community infrastructure [maintainer=@Mic92]

Language:NixMIT010

nix-rfcs

The Nix community RFCs

CC-BY-SA-4.0010

nixos-homepage

Sources for nixos.org

000

nixpkgs

Nix Packages collection

Language:NixMIT030

nixpkgs-update

Updating nixpkgs packages since 2018

Language:HaskellCC0-1.0020

nixpkgs-update-github-releases

Fetches releases from github for ryantm/nixpkgs-update

Language:PythonCC0-1.0010

noogle

https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]

MIT000

npm-installer

Language:JavaScriptISC010

ofborg

@ofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg

MIT000

pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Language:PythonNOASSERTION030