Discover @Fyrbll Open Source projects

Kartik Sabharwal (@Fyrbll)

Fyrbll

Stars
20
Global Rank 630,134 (Top 22 %)
Followers 15
Following 15
Registered about 9 years ago
Most used languages

Racket
50.0 %

Vim Script
25.0 %

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

Racket
184

Vim Script
1,060

Haskell
1,559

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