Jinwoo Lee

Common Lisp bindings for minimalistic GUI library, libui, https://github.com/andlabs/libui

stuff

No description provided.

No description provided.

This is a Common Lisp implementation of the same algorithm used in Master Password on http://masterpasswordapp.com.

Advent of Code 2023 (Prolog)

Automated web performance test using Puppeteer.

Write your own virtual machine for the LC-3 computer!

Production friendly Node.js module that provides access to the V8 sampling heap profiler

No description provided.

Library for generating Haskell source files and code fragments.

No description provided.

Haskell library for the Microsoft Language Server Protocol

This is a fork of https://github.com/tweag/ormolu.

No description provided.

A library for building Haskell IDE tooling

Test suite for Bluespec Compiler (BSC)

Bluespec Compiler (BSC)

API for protocol buffers using modern Haskell language and library patterns.

The Agda standard library

Agda is a dependently typed programming language / interactive theorem prover.

A purely functional programming language with first class types

Emits code crossreference data for Haskell sources.

Vim mode for Idris 2

Convert HPC coverage output to LCOV format

A simple Pomodoro timer written in Chicken Scheme

No description provided.

Google Cloud Client Library for Node.js

Google's officially supported Node.js client library for accessing Google APIs. Support for authorization and authentication with OAuth 2.0, API Keys and JWT (Service Tokens) is included. API Reference Docs: http://google.github.io/google-api-nodejs-client/

:key: Google Auth Service Account Tokens for Node.js