Beast code in Giters

Charles Winebrinner's starred repositories

gitignore

A collection of useful .gitignore templates

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.14738 102 9963

scalaz

Principled Functional Programming in Scala

Language:ScalaNOASSERTION4671 209 548

command-t

⌨️ Fast file navigation for Neovim and Vim

Language:LuaBSD-2-Clause2743 54 284

Monocle

Optics library for Scala

Language:ScalaMIT1646 55 382

purescript-halogen

A declarative, type-safe UI library for PureScript.

Language:PureScriptApache-2.01521 43 420

argonaut

Purely functional JSON parser and library in scala.

Language:ScalaNOASSERTION546 26 195

sbt-web

Library for building sbt plugins for the web

Language:ScalaNOASSERTION368 19 90

digestive-functors

A general way to consume input using applicative functors

Language:Haskell149 10 84

backus-dijkstra-letters-1979

Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f#.j6x6ppjc8 https://news.ycombinator.com/item?id=11796557

108 6 1

servant-purescript

(defunct) Purescript client code generation for Servant

Language:HaskellBSD-3-Clause27 9 4

cspace

Communication software of unknown origin, promising unusually high levels of privacy

Language:Python24 9 1

cwinebrinner