Discover @Fyrbll Open Source projects

Kartik Sabharwal (@Fyrbll)

Fyrbll

Stars
20
Global Rank 640,821 (Top 23 %)
Followers 16
Following 15
Registered over 9 years ago
Most used languages

Racket
50.0 %

Haskell
25.0 %

Vim Script
25.0 %
Location 🇺🇸 United States
Country Total Rank 115,657
Country Ranking

Racket
170

Vim Script
1,032

Haskell
1,710

intero-vim

Port of intero-neovim for vim 8

cheesecake-public

A theorem prover written in Racket

bluetooth

Haskell bindings to OS-specific Bluetooth libraries.

pwrt-racket

Typed Racket Code for Programming with Refinement Types