13-day longest streak
Junyoung Jang or "Clare", if you find that's easier to pronounce! ** Main Interests Type Safe Languages Metaprogramming Interoperability Verified Implementation and other Formal Methods
-
haskell-language-server ★ PINNED ⑂
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell ★ 1 3y agoExplain → -
Ailrun.github.io ★ PINNED
GitHub Pages for Ailrun
TypeScript ★ 1 8h agoExplain → -
core-lang-haskell ★ PINNED
Implementation for the book <Implementing functional languages: a tutorial>
Haskell ★ 33 7y agoExplain → -
lambdacomp ★ PINNED
A Primitive Compiler from λ-calculus + α based on CBPV
Haskell ★ 3 8mo agoExplain → -
typed-f
Typed functional programming utilities
TypeScript ★ 20 6y agoExplain → -
magit-lfs
Git LFS for magit!
Emacs Lisp ★ 16 3y agoExplain → -
satyros
SATyros, small SAT/SMT sovler library for step-by-step solving
Haskell ★ 9 3y agoExplain → -
rxpressive
Express meets RxJS.
JavaScript ★ 9 7y agoExplain → -
pile-of-characters
Various writings
TeX ★ 8 4mo agoExplain → -
lambda-cube
Haskell implementation of (some of) lambda cube calculi
Haskell ★ 7 4y agoExplain → -
tsdux
Type-safe redux utilities for TypeScript.
TypeScript ★ 7 3y agoExplain → -
coq-commenter
Coq commenter for Emacs
Emacs Lisp ★ 6 9y agoExplain → -
LambdaDB
On-memory DB using Lambda function
Haskell ★ 5 6y agoExplain → -
tsdux-observable
tsdux utilities for Observables
TypeScript ★ 4 3y agoExplain → -
rxan-core
Core package for rxan
JavaScript ★ 4 6y agoExplain → -
LiquidHaskell-tutorial
No description.
Haskell ★ 3 5y agoExplain → -
Theorem_Proving_in_Lean
No description.
Lean ★ 3 6y agoExplain → -
dev-api-server ▣
Configurable API server for client development
TypeScript ★ 3 6y agoExplain → -
ProofPool
Agda proofs for various topics
Agda ★ 2 1d agoExplain → -
Programming_in_Haskell ▣
No description.
Haskell ★ 2 10y agoExplain → -
emacs-retrie
An Emacs package to refactor Haskell code with retrie
Emacs Lisp ★ 2 6y agoExplain → -
Floor1
Experimental (and basic) proof assistant with absolutely **no** elegant features.
Haskell ★ 2 3y agoExplain → -
TRPL-study
<The Rust Programming Language> book study
Rust ★ 2 5y agoExplain → -
Htaut
Haskell integrated Tautology prover
Haskell ★ 2 9y agoExplain → -
deducible
TypeScript library for logical system handling
TypeScript ★ 1 3d agoExplain → -
yet-another-emacs-settings
emacs settings for C, C++, html, node.js, ...
Emacs Lisp ★ 1 1mo agoExplain → -
three-potree-loader-example
Three potree loader minimal(?) example.
JavaScript ★ 1 8y agoExplain → -
Elevator2way7floor ▣
2 ways 7 floors elevator using Verilog
Verilog ★ 1 11y agoExplain → -
DNA_Hairpin_Structure ▣
detect hairpin structure of short length DNA
C++ ★ 1 11y agoExplain → -
example-graphql-server ▣
Example server for graphql seminar
JavaScript ★ 1 6y agoExplain → -
plfa.github.io ⑂
An introduction to programming language theory in Agda
HTML ★ 1 3y agoExplain → -
stylish-haskell ⑂
Haskell code prettifier
★ 1 5y agoExplain → -
miniCUTE ⑂
Minimal implementation of basic compiler in Haskell
Haskell ★ 1 5y agoExplain → -
learn-ocaml ⑂
A Web Application for Learning OCaml
★ 1 4y agoExplain → -
rxan-react
No description.
JavaScript ★ 1 6y agoExplain → -
npm-prologue
NPM project/package bootstrapper for Junyoung Clare Jang
TypeScript ★ 1 6y agoExplain → -
Lambdifies
Lambdifies VM
Haskell ★ 1 9y agoExplain → -
APar
Arrow Parser Library of Haskell
Haskell ★ 1 10y agoExplain → -
graphql-file-upload
Example for file upload API with GraphQL
JavaScript ★ 1 8y agoExplain → -
tetris-js
Various implementation for tetris in JS
JavaScript ★ 1 8y agoExplain → -
Quilt-Impl
Implementation of a polymorphic interoperability system with adjoint modalities
Haskell ★ 0 11mo agoExplain → -
Apini
[WIP] a prototype implementation of Cocon
Haskell ★ 0 8mo agoExplain → -
Ailrun
No description.
★ 0 10mo agoExplain → -
parjs-then ⑂
JavaScript parser-combinator library
TypeScript ★ 0 10mo agoExplain → -
KoreanLogicDay2024
KoreanLogicDay2024 slides
TeX ★ 0 10mo agoExplain → -
2022_SOCS_50_poster
No description.
TeX ★ 0 3y agoExplain → -
melpa ⑂
Recipes and build machinery for the biggest Emacs package repo
★ 0 1y agoExplain → -
hackerspub ⑂
ActivityPub-enabled social network for hackers
★ 0 1y agoExplain → -
agda-stdlib ⑂
The Agda standard library
Agda ★ 0 1y agoExplain → -
adjoint-logic-in-agda
No description.
Agda ★ 0 1y agoExplain → -
CARVe-agda
Agda Implementation of CARVe, mostly for my own use.
★ 0 1y agoExplain → -
cpc
No description.
Rust ★ 0 1y agoExplain → -
media
No description.
★ 0 1y agoExplain → -
intero ⑂
Complete interactive development program for Haskell
Haskell ★ 0 9y agoExplain → -
DefinitelyTyped ⑂
The repository for high quality TypeScript type definitions.
TypeScript ★ 0 2y agoExplain → -
adjoint-meta-eclaps-2023
No description.
TeX ★ 0 3y agoExplain → -
HoTTEST-Summer-School ⑂
HoTTEST Summer School materials
TeX ★ 0 3y agoExplain → -
jsdom-canvas-prebuilt-bug ▣
No description.
JavaScript ★ 0 8y agoExplain → -
emotion-ts-repro-001 ▣
TS problem reproduction
TypeScript ★ 0 8y agoExplain → -
ATL-tsconfig-bug ▣
Reproducing ATL bug
JavaScript ★ 0 9y agoExplain → -
2016_F_OS_Projects ▣
Operating System Projects (1~4) for 2016 Fall course.
★ 0 9y agoExplain → -
LINKSERVER ▣
SERVER
JavaScript ★ 0 11y agoExplain → -
phonebook ▣
phonebook android test
Java ★ 0 11y agoExplain → -
LINKBOX ▣
LINK
Java ★ 0 10y agoExplain → -
STYLUP ▣
No description.
Java ★ 0 10y agoExplain → -
StackCalc ▣
No description.
Java ★ 0 10y agoExplain → -
MineSweeper ▣
Game MineSweeper
C++ ★ 0 11y agoExplain → -
CalEqulator ▣
Easy Calculator using C
Emacs Lisp ★ 0 11y agoExplain → -
ts-jest-issue636 ▣
No description.
JavaScript ★ 0 8y agoExplain → -
enzyme-issue1783 ▣
Repository for enzyme bug report
JavaScript ★ 0 8y agoExplain → -
storybook-issue5416 ▣
No description.
JavaScript ★ 0 7y agoExplain → -
ts-jest-issue713 ▣
No description.
JavaScript ★ 0 7y agoExplain → -
osfall2016 ⑂ ▣
snu os fall 2016
Shell ★ 0 9y agoExplain → -
CID_10_Naver_Redis_Gateway ▣
Gateway For Redis - Project for Naver
C ★ 0 9y agoExplain → -
BigInteger ▣
Java BigInteger
Java ★ 0 10y agoExplain → -
LD_8bit_Microprocessor ▣
8bit microprocessor for LD final proj.
Verilog ★ 0 11y agoExplain → -
CanadianEating ▣
Eating Travel in Canada
JavaScript ★ 0 10y agoExplain → -
haskell-codecov ▣
codecov.io support for haskell code coverage collected by hpc in stack project code
Haskell ★ 0 7y agoExplain → -
react-webpack-minimal-setting ▣
Minimal setting for React/Webpack
JavaScript ★ 0 8y agoExplain → -
play-macwire-starterkit ▣
Starterkit for compile time DI in play, with macwire
Scala ★ 0 8y agoExplain → -
react-graphql-seminar ▣
No description.
JavaScript ★ 0 8y agoExplain → -
HaskellTutorial ▣
Haskell Tutorial in Korean
Haskell ★ 0 10y agoExplain → -
ocaml-linenoise-issue-13 ▣
ocaml-community/ocaml-linenoise#13
OCaml ★ 0 6y agoExplain → -
server-typed-f ▣
No description.
JavaScript ★ 0 7y agoExplain → -
coq_seminar ▣
Basic Coq seminar in SIGMA, Seoul Nat'l Univ.
Coq ★ 0 6y agoExplain → -
haskell-dummy ▣
Dummy project to check whether HIE works
Haskell ★ 0 6y agoExplain → -
Haskell-Kaleidoscope
No description.
Haskell ★ 0 3y agoExplain → -
all-the-icons.el ⑂
A utility package to collect various Icon Fonts and propertize them within Emacs.
★ 0 4y agoExplain → -
lsp-haskell ⑂
lsp-mode :heart: haskell
★ 0 4y agoExplain → -
sandbox ⑂
A secure process-level sandbox based on a ptrace jail
C++ ★ 0 5y agoExplain → -
asterisknux
*NUX, a set of command line tools for Unix-like environment
Rust ★ 0 6y agoExplain → -
virtual-environments ⑂
GitHub Actions virtual environments
★ 0 6y agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 0 6y agoExplain → -
perspective-el ⑂
Perspectives for Emacs.
★ 0 6y agoExplain → -
proto-b
Try-and-error for blog
TypeScript ★ 0 6y agoExplain → -
eslint-plugin-react ⑂
React specific linting rules for ESLint
JavaScript ★ 0 7y agoExplain → -
emotion ⑂
style as a function of state
JavaScript ★ 0 7y agoExplain → -
typescript.el ⑂
No description.
Emacs Lisp ★ 0 7y agoExplain → -
three-loader ⑂
Point cloud loader for ThreeJS, based on the core parts of Potree
TypeScript ★ 0 7y agoExplain → -
npm-cli-bundle
CLI bundle package for node projects
★ 0 8y agoExplain → -
shields ⑂
Concise, consistent, and legible badges in SVG and raster format
JavaScript ★ 0 8y agoExplain → -
deno ⑂
A secure TypeScript runtime on V8
TypeScript ★ 0 8y agoExplain → -
definitelytyped-header-parser ⑂
A utility for parsing DefinitelyTyped headers out of TypeScript .d.ts files.
TypeScript ★ 0 8y agoExplain → -
flow-typed ⑂
A central repository for Flow library definitions
JavaScript ★ 0 9y agoExplain → -
storybook ⑂
Interactive UI component dev & test: React, React Native, Vue, Angular
JavaScript ★ 0 8y agoExplain → -
persp-projectile ⑂
Projectile integration for perspective.el
Emacs Lisp ★ 0 8y agoExplain → -
stylis.js ⑂
light – weight css preprocessor
JavaScript ★ 0 8y agoExplain → -
jest-glamor-react ⑂
Jest utilities for Glamor and React
JavaScript ★ 0 8y agoExplain → -
DockerStudy
Docker Study in KOREAN
Shell ★ 0 9y agoExplain → -
awesome-wiki ⑂
Awesome way to learn yourself!
JavaScript ★ 0 8y agoExplain → -
redux-observable ⑂
RxJS middleware for action side effects in Redux using "Epics"
JavaScript ★ 0 9y agoExplain → -
company-flow ⑂
No description.
Emacs Lisp ★ 0 9y agoExplain → -
emacs-flycheck-flow ⑂
No description.
Emacs Lisp ★ 0 9y agoExplain → -
package-stack
emacs configuration manager
Emacs Lisp ★ 0 9y agoExplain → -
commercialhaskell ⑂
A special interest group for companies and individuals interested in commercial usage of Haskell
★ 0 9y agoExplain → -
CUTE-spec ⑂
Specification Documents for CUTE Lang
TeX ★ 0 9y agoExplain → -
CUTE-parser ⑂
Parser for CUTE Lang
Haskell ★ 0 9y agoExplain → -
sflib ⑂
No description.
Coq ★ 0 10y agoExplain → -
pl2016 ⑂
No description.
HTML ★ 0 10y agoExplain →
No repos match these filters.