rampion

rampion's Stars

• jgm/pandoc

  Universal markup converter

  Language:Haskell36.8k5197.8k3.5k

• Rigellute/spotify-tui

  Spotify for the terminal written in Rust 🚀

  Language:Rust18k76553534

• tomnomnom/gron

  Make JSON greppable!

  Language:Go14k9088328

• Spotifyd/spotifyd

  A spotify daemon

  Language:Rust10.1k54792467

• facebook/Haxl

  A Haskell library that simplifies access to remote data, such as databases or web-based services.

  Language:Haskell4.3k19137311

• docopt/docopt.cpp

  C++11 port of docopt

  Language:C++1.1k3889148

• emil-e/rapidcheck

  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

  Language:C++1k35178173

• numirias/security

  Some of my security stuff and vulnerabilities. Nothing advanced. More to come.

  866325161

• hchasestevens/hchasestevens.github.io

  A collection of miscellaneous thoughts that aren't on my blog.

  Language:Jupyter Notebook67217162

• nivbend/gitstery

  A Git Murder Mystery

  4648025

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C461284617

• chrisbra/unicode.vim

  A Vim plugin that provides a completion function for Unicode glyphs

  Language:Vim Script456134128

• litxio/ptghci

  High-powered REPL for Haskell, inspired by IPython

  Language:Haskell3384276

• lf-/nix-doc

  An interactive Nix documentation tool providing a CLI for function search, a Nix plugin for docs in the REPL, and a ctags implementation for Nix script

  Language:Rust2146256

• direnv/direnv.vim

  vim plugin for direnv support

  Language:Vim Script19541412

• channable/alfred-margaret

  Fast Aho-Corasick string searching

  Language:Haskell187301811

• lpinilla/vim-codepainter

  A plugin for Vim to color different parts of code making the use of Text Properties

  Language:Vim Script1034206

• Lysxia/first-class-families

  First-class type families

  Language:Haskell8772812

• ChrisPenner/astar-monad

  A smart A* search monad transformer which supports backtracking user-state!

  Language:Haskell81621

• zudov/24-days-of-syntactic-witchery

  Aligning characters for fun and profit, with Haskell and PureScript

  742115

• ChrisPenner/lens-csv

  Lensy interface for parsing CSV's

  Language:Haskell42862

• cohomolo-gy/Isomorphic-Reasoning

  Isomorphic Reasoning: Counting with Types

  Language:TeX371003

• sheaf/if-instance

  GHC plugin to branch on whether a constraint is satisfied

  Language:Haskell33132

• prysk/prysk

  Functional tests for command line applications

  Language:Python2755911

• isovector/th-dict-discovery

  🐙 discover Dicts

  Language:Haskell14503

• NorfairKing/picosmos

  A single-line text editor written in Haskell with Brick

  Language:Haskell840

• aadaa-fgtaa/optionally

  Language:Haskell4100

• treeowl/kinder-functor

  An alternate definition of Haskell's Functor typeclass

  Language:Haskell4300

• evanrelf/higher

  Higher-kinded data (HKD) types with less pain

  Language:Haskell224

• lf-/flake-templates

  Flake templates using flake-utils

  Language:Nix2301