Discover @Kazark Open Source projects

Keith Pinson (@Kazark)

Kazark

Stars
55
Global Rank 319,043 (Top 11 %)
Followers 52
Following 179
Registered almost 12 years ago
Most used languages

F#
22.2 %

Idris 22.2 %

Vim Script
22.2 %

JavaScript
5.6 %

C++
5.6 %

CSS
5.6 %

Haskell
5.6 %

Emacs Lisp
5.6 %

Nim
5.6 %
Location 🇺🇸 United States
Country Total Rank 63,228
Country Ranking

Idris 35

F#
159

Nim
295

Vim Script
487

Emacs Lisp
2,548

Haskell
2,648

vim-SimpleSmoothScroll

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

vim-http-client

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

timeline

A timeline of (Western) church history

vim-linqpad

Evaluate C# expressions or execute C# statements from within Vim

effsharp

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

xml2sfm

Convert Flextext (FLEx XML) files into Paratext USFM

tyclgen

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

queries.idr

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

paket.vim

Vim syntax highlighting for Paket files

kazark.github.io

My personal home page

vimell

Write Haskell that writes VimL for you

conway-game-of-life-event-driven-in-cxx

Experimental C++ project for playing around with messaging concepts on a micro scale

nineninths

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

mal-fsharp

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

nimsockets

Playing around with TCP Sockets in Nim for the sake of learning

lc.idr

Attempt at implementing lambda calculus in Idris

fsharp-srtp-broken

F# program that should not compile, using statically resolved type parameters; gets runtime exception instead

prolorg

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