jinwoo Goto Github PK

agda

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

agda-stdlib

The Agda standard library

aoc2023

Advent of Code 2023 (Prolog)

bsc

Bluespec Compiler (BSC)

bsc-testsuite

Test suite for Bluespec Compiler (BSC)

chicken-timer

A simple Pomodoro timer written in Chicken Scheme

cl-bf

Brainfuck interpreter written in Common Lisp

cl-masterpassword

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

cl-ui

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

cloud-debug-nodejs

Node.js agent for Stackdriver Debugger: investigate your code’s behavior in production

cloud-diagnostics-common-nodejs

cloud-errors-nodejs

Node.js module for Google Stackdriver Error Reporting

cloud-profiler-nodejs

cloud-trace-nodejs

Node.js agent for Stackdriver Trace: automatically gather latency data about your application

definitelytyped

The repository for high quality TypeScript type definitions.

eventid-js

Monotonically increasing per machine, globally unique eventids for JavaScript

fastify

Fast and low overhead web framework, for Node.js

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

ghc-source-gen

Library for generating Haskell source files and code fragments.

ghcide

A library for building Haskell IDE tooling

google-api-nodejs-client

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/

google-auth-library-nodejs

Google Auth Library for Node.js

google-cloud-node

Google Cloud Client Library for Node.js

google-p12-pem

Convert Google .p12 keys to .pem keys.

haskell-indexer

Emits code crossreference data for Haskell sources.

haskell-lsp

Haskell library for the Microsoft Language Server Protocol

hie-bios

homebrew-core

:beers: Core formulae for the Homebrew package manager

hpc-lcov

Convert HPC coverage output to LCOV format

idris2

A purely functional programming language with first class types