tv (4z3)

4z3

Geek Repo

Location:Berlin

Github PK Tool:Github PK Tool

tv's repositories

Language:ShellLicense:WTFPLStargazers:14Issues:4Issues:7

contract

JavaScript implementation of Contracts as Pairs of Projections

Language:JavaScriptStargazers:2Issues:0Issues:0

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ares

Application server for Eris apps

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

array

a POSIX-compliant implementation of arrays in 17 lines of shell.

Language:ShellStargazers:0Issues:3Issues:0

bindings-GLFW

Low-level Haskell bindings to GLFW

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

c-base-org-lektor

Lektor project for c-base.org

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

ejabberd

Robust, ubiquitous and massively scalable Jabber / XMPP Instant Messaging platform

Language:ErlangLicense:NOASSERTIONStargazers:0Issues:3Issues:0

email-header

A Haskell library for parsing and rendering email and MIME headers

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

exim

Exim Mail Transport Agent - source, testsuite and documentation

Language:CStargazers:0Issues:3Issues:0

flameshot

Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

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

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoLicense:MITStargazers:0Issues:3Issues:0

GLFW-b

Haskell bindings to GLFW

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

haskell-oidc-client

OpenID Connect 1.0 client (RP) library for Haskell

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

hex-pm-registry-snapshots

This repo contains snapshots of https://repo.hex.pm/registry.ets.gz to be used for Nix's erlang modules tooling

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

hnix-store

Haskell implementation of the nix store API

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

journald-cloudwatch-logs

Collects logs from journald and writes them to CloudWatch Logs as JSON

Language:GoStargazers:0Issues:0Issues:0

libinput

Input device management and event handling library

License:NOASSERTIONStargazers:0Issues:0Issues:0

microgram

It's like Instagram, but for microservices.

Language:NixLicense:MITStargazers:0Issues:3Issues:0
License:MITStargazers:0Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:3Issues:0

nixos-images

Automatically build (netboot) images for NixOS

Language:NixLicense:MITStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0

oauth2l

oauth2l ("oauth tool") is a simple CLI for interacting with Google oauth tokens.

Language:GoLicense:Apache-2.0Stargazers:0Issues:3Issues:0

plops

my krops overlay

Language:NixLicense:GPL-3.0Stargazers:0Issues:2Issues:0

systemd

systemd upstream

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

TabFS

🗄 Mount your browser tabs as a filesystem.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:2Issues:0

tokei

A program that allows you to count your code, quickly.

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0

upcast

operation declarative cloud ʕノ•ᴥ•ʔノ ︵ ┻━┻

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

weechat.el

Chat via weechat's relay protocol in Emacs

Language:Emacs LispStargazers:0Issues:3Issues:0