Kazark/nineninths

Stars
1
Language Idris
License
MIT License
Created almost 6 years ago
Updated almost 6 years ago

Kazark/nineninths

Kazark

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

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)