neosimsim Goto Github PK

9fans-go

Packages and commands for using Plan 9 from Go

abduco

abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattached. Together with dvtm it provides a simpler and cleaner alternative to tmux or screen.

acme-agda

agda

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

agda-stdlib

The Agda standard library

androiderrordialog

Easy up error handling and display on Android devices.

biorhythm

Go application to plot once biorhythm.

bitbucket-plugin

blinksh-themes

cabal

Official upstream development repository for Cabal and cabal-install

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

chrono

Date and time library for Rust

docker-builder-images

dotfiles

moved to

dvtm

dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console based programs.

dwm

My fork of dwm. This project shall help me to keep my dwm config in sync with all my workstations.

essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

essence-of-live-coding-tutorial

Tutorial for essence-of-live-coding

fractal-go

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's GitLab instance (https://gitlab.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

ghc.nix

Nix (shell) expression for working on GHC

git-rebase

go

The Go programming language

go-concurrency

go-prime

graphapi

happy-sam

hconv

hello-agda

home-manager

Manage a user environment using Nix [maintainer=@rycee]