Discover Kazark/fsharp-srtp-broken Open Source project

Stars
1
Language
F#
License
MIT License
Created over 6 years ago
Updated about 6 years ago

Kazark

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

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

vim-SimpleSmoothScroll

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

Vim Script

vim-http-client

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

Vim Script

timeline

A timeline of (Western) church history

JavaScript

vim-linqpad

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

Vim Script

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

Idris

queries.idr

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

Idris

paket.vim

Vim syntax highlighting for Paket files

Vim Script

kazark.github.io

My personal home page

CSS

vimell

Write Haskell that writes VimL for you

Haskell

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

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

C++

nineninths

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

Idris

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

Nim

lc.idr

Attempt at implementing lambda calculus in Idris

Idris

prolorg

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

Emacs Lisp

Kazark/fsharp-srtp-broken

Kazark

Reviews

Repository Details

More Repositories