Discover @banacorn Open Source projects

Ting-gian LUA (@banacorn)

banacorn

Stars
344
Global Rank 79,692 (Top 3 %)
Followers 218
Following 54
Registered over 13 years ago
Most used languages

Haskell
38.7 %

JavaScript
16.1 %

Agda 12.9 %

ReScript 9.7 %

Dockerfile
3.2 %

Reason 3.2 %

C
3.2 %

Python
3.2 %

Emacs Lisp
3.2 %

TeX
3.2 %

Rust
3.2 %
Location 🇹🇼 Taiwan
Country Total Rank 442
Country Ranking

Reason 1

ReScript 1

Haskell
4

Agda 5

Emacs Lisp
35

Dockerfile
63

TeX
147

Rust
168

C
720

JavaScript
1,073

Python
2,216

agda-mode-vscode

agda-mode on VS Code

agda-mode

agda-mode on Atom

socket.io-haskell

socket.io for haskell folks

Hakaru-FLOLAC16

Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16

language-agda

Agda language support for the Atom editor

rescript-vscode

ReScript bindings for the VS Code API

formal-language

Curry–Howard Correspondence for fun

edis

docker-agda

nodejs-hinet-sms

node.js hinet-sms protocol implementation

agda-mode-st3

mini-pascal

relais

kern

Minimalistic Node.js client for Redis

bidirectional

bidirectional typing stuff

ECGF

Elliptic curves over galois fields

Backbone.cache

localStorage cache for Backbone

evolutionary-computation

dp-trial

tube

categories

Learning Category Theory by constructing them in Agda

type-theory

cedar

keymap

algorithmus

nineveh

Source-to-source stylesheet compiler

numeral

linear-algebra

evo

banacorn.github.com

meine github seite

Graphentheoretische-Paralleler-Algorithmus

Graphentheoretische Paralleler Algorithmus

underscore-injection

Injects Underscore collection and array goodies right into your Array.prototype

language-server-mule

Rescript library for hauling language servers from your disk or somewhere else

scorefour