raichoo Goto Github PK

31c3slides

31C3 Slides

agda-vim

Agda interaction in vim

apps

Kiebitz Web Applications (for users, providers and mediators). Still a work-in-progress, use with care!

arewewaylandyet

Sources for https://arewewaylandyet.com

barcodes-code128

A Haskell library for generating Code 128 barcodes

bloomfilter

A fast Haskell Bloom filter library.

code-of-conduct

a code of conduct for the haskell community

documentation

fish-shell

The user-friendly command line shell.

fzf

:cherry_blossom: A command-line fuzzy finder written in Go

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.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.

ghcid-neovim

`ghcid` implemented in `neovim`

haskell-env

Custom scripts for setting up my Haskell development environment

haskell-vim

Custom Haskell Vimscripts

haskellcosm

Collecting information about Haskell ecosystem - companies, communities, media, etc.

idris-dev

A Dependently Typed Functional Programming Language

idris-tutorial

A tutorial to the Idris Programming Language.

idriscsvexample

CSV Example using Type Providers

illumos-gate

Community developed and maintained version of the OS/Net consolidation

maycontaindtracesoffreebsd

molokai

Molokai color scheme for Vim

monodark

Monodark Colorscheme for Neovim

neovim

Vim-fork focused on extensibility and usability.

network-info

Get information about local network adapters such as name, IP address, MAC address

purescript-arrays

Array utility functions

raichoo.github.io

rcfiles

Some of my RC files

react-switch

A draggable toggle-switch component for React. Check out the demo at:

redux-persist-transform-immutable

immutable support for redux-persist

rms-open-letter.github.io