Undisclosed

Keith Pinson

Expert
@Kazark

In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.

vim-SimpleSmoothScroll. A small, simple plugin to make the scroll action for C^D and C^U smoother

19

timeline. A timeline of (Western) church history

7

vim-http-client. Do you use POSTman or RESTClient for hitting HTTP APIs? What about doing it from Vim instead of your browser?

6

vim-linqpad. Evaluate C# expressions or execute C# statements from within Vim

6

effsharp. ZIO-like monad for F# that permits pure interpretations of effects

5

nineninths. Proof in Idris of the theorem that 1 = 0.999...

4

paket.vim. Vim syntax highlighting for Paket files

2

xml2sfm. Convert Flextext (FLEx XML) files into Paratext USFM

2

mal-fsharp. Make a Lisp in F# - taken from standard Mal F# implementation and modded during LambdaConf 2016

1

kazark.github.io. My personal home page

1

vimell. Write Haskell that writes VimL for you

1

fsharp-srtp-broken. F# program that should not compile, using statically resolved type parameters; gets runtime exception instead

1

prolorg. A constraint language for Org Mode properties (Prolog + Org)

1

lc.idr. Attempt at implementing lambda calculus in Idris

1

conway-game-of-life-event-driven-in-cxx. Experimental C++ project for playing around with messaging concepts on a micro scale

1

queries.idr. An investigation into DSLs with free monads and queries etc, using Idris

1

tyclgen. Type Class Generator for F# ... not as good as it sounds

1
17
Apply