Pinned Repositories
chicken-timer
A simple Pomodoro timer written in Chicken Scheme
cl-ui
Common Lisp bindings for minimalistic GUI library, libui, https://github.com/andlabs/libui
lc3
proto-lens
API for protocol buffers using modern Haskell language and library patterns.
web-perf-test
Automated web performance test using Puppeteer.
jinwoo's Repositories
jinwoo/lc3
jinwoo/proto-lens
API for protocol buffers using modern Haskell language and library patterns.
jinwoo/agda
Agda is a dependently typed programming language / interactive theorem prover.
jinwoo/agda-stdlib
The Agda standard library
jinwoo/aoc2023
Advent of Code 2023 (Prolog)
jinwoo/bsc
Bluespec Compiler (BSC)
jinwoo/bsc-testsuite
Test suite for Bluespec Compiler (BSC)
jinwoo/cl-masterpassword
This is a Common Lisp implementation of the same algorithm used in Master Password on http://masterpasswordapp.com.
jinwoo/cloud-debug-nodejs
Node.js agent for Stackdriver Debugger: investigate your code’s behavior in production
jinwoo/DefinitelyTyped
The repository for high quality TypeScript type definitions.
jinwoo/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
jinwoo/ghc-source-gen
Library for generating Haskell source files and code fragments.
jinwoo/ghcide
A library for building Haskell IDE tooling
jinwoo/haskell-indexer
Emits code crossreference data for Haskell sources.
jinwoo/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
jinwoo/hie-bios
jinwoo/hpc-lcov
Convert HPC coverage output to LCOV format
jinwoo/Idris2
A purely functional programming language with first class types
jinwoo/idris2-vim
Vim mode for Idris 2
jinwoo/jinwoo.github.io
jinwoo/js-green-licenses
jinwoo/lc3-vm
Write your own virtual machine for the LC-3 computer!
jinwoo/nock
HTTP mocking and expectations library
jinwoo/node-fastify-auto-push
jinwoo/node-h2-auto-push
jinwoo/nodejs-common
jinwoo/ormolu
This is a fork of https://github.com/tweag/ormolu.
jinwoo/rtiow
jinwoo/spdx-satisfies.js
test whether SPDX expressions satisfy licensing criteria
jinwoo/ts-style
☂️ TypeScript style guide, formatter, and linter.