Discover @Ailrun Open Source projects

Junyoung/"Clare" Jang (@Ailrun)

Ailrun

Stars
175
Global Rank 136,737 (Top 5 %)
Followers 171
Following 12
Registered over 9 years ago
Most used languages

Haskell
30.3 %

JavaScript
21.2 %

TypeScript
21.2 %

Emacs Lisp
12.1 %

Agda 3.0 %

Rust
3.0 %

C++
3.0 %

Verilog 3.0 %

Lean 3.0 %
Location 🇨🇦 Canada
Country Total Rank 3,864
Country Ranking

Lean 7

Agda 13

Haskell
32

Emacs Lisp
48

Verilog 202

TypeScript
638

Rust
996

JavaScript
3,147

C++
5,956

core-lang-haskell

Implementation for the book <Implementing functional languages: a tutorial>

typed-f

Typed functional programming utilities

magit-lfs

Git LFS for magit!

rxpressive

Express meets RxJS.

pile-of-characters

Various writings

tsdux

Type-safe redux utilities for TypeScript.

lambda-cube

Haskell implementation of (some of) lambda cube calculi

coq-commenter

Coq commenter for Emacs

satyros

SATyros, small SAT/SMT sovler library for step-by-step solving

LambdaDB

On-memory DB using Lambda function

rxan-core

Core package for rxan

tsdux-observable

tsdux utilities for Observables

dev-api-server

Configurable API server for client development

Theorem_Proving_in_Lean

emacs-retrie

An Emacs package to refactor Haskell code with retrie

Htaut

Haskell integrated Tautology prover

LiquidHaskell-tutorial

Programming_in_Haskell

TRPL-study

<The Rust Programming Language> book study

Floor1

Experimental (and basic) proof assistant with absolutely **no** elegant features.

tetris-js

Various implementation for tetris in JS

graphql-file-upload

Example for file upload API with GraphQL

npm-prologue

NPM project/package bootstrapper for Junyoung Clare Jang

DNA_Hairpin_Structure

detect hairpin structure of short length DNA

APar

Arrow Parser Library of Haskell

rxan-react

Elevator2way7floor

2 ways 7 floors elevator using Verilog

example-graphql-server

Example server for graphql seminar

Ailrun.github.io

GitHub Pages for Ailrun

deducible

TypeScript library for logical system handling

three-potree-loader-example

Three potree loader minimal(?) example.

yet-another-emacs-settings

emacs settings for C, C++, html, node.js, ...

Lambdifies

ProofPool

Agda proofs for various topics