ymyzk/gsrchecker

Stars
1
Language
OCaml
License
MIT License
Created almost 9 years ago
Updated over 8 years ago

ymyzk/gsrchecker

ymyzk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Type Checker for GTLC + shift/reset

tox-gh-actions

Seamless integration of tox into GitHub Actions for tox 3 and 4

mypy-playground

The mypy playground. Try mypy with your web browser.

kawasemi

A Python library for sending notifications to services such as Slack, HipChat, Twitter, and so on.

wsgi_lineprof

WSGI middleware for line-by-line profiling

lambda-dti

Interpreter of the ITGL with dynamic type inference

python-gyazo

A Python wrapper for Gyazo API

awesome-playgrounds

Curated list of playgrounds where you can test snippets online

portfolio

My portfolio website powered with React

mackerel-plugins

Custom plugins for Mackerel

gsrinfer

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset

python-gyazo-backup

A command-tool for creating backup of Gyazo

dotfiles

cla-jwt-verifier

Simple HTTP server for verifying JWT issued by Cloudflare Access

run-tox-gh-actions

(EXPERIMENTAL) A composite GitHub Actions run steps for running tox-gh-actions

sasm

Simple Assembler for SIMPLE Architecture

hue-party

A joke script :)

bottle-yotoslack

NO LONGER MAINTAINED: Send notifications to Slack when you received Yo!

prom2bq

Copy data from Prometheus to BigQuery

circleci-tex-sample

RTConnect

Tools for analyzing sales report files of iTunes Connect.

ochacaml

Unofficial fork of OchaCaml

spim-for-kuis

SPIM for Hardware and Software Laboratory Project 3 (Software) / 計算機科学実験及び演習3 (ソフトウェア)

pep-561-samples

Example packages for demonstrating usage of PEP 561

homebrew-ymyzk

Homebrew formulae

vim-copl

「プログラミング言語の基礎概念」演習システム用の syntax highlighting

meross-proxy

Wrap meross-iot with simple HTTP APIs for personal use

lambda-rti

Interpreter of the ITGL with runtime type inference

findme

Simple OS X command line tool for getting your location

co2meter_exporter

Prometheus exporter for CO2 meter

yo.zsh

Send Yo! from Zsh

sensehat_exporter

Sense HAT exporter for Prometheus

fj

Featherweight Java type checker

pytconnect

Tools for analyzing sales report files of iTunes Connect.

firehook

Simple tool to link Google Assistant and smart home devices via Firebase

bme280_exporter

Prometheus exporter for BME280 sensor

tex-to-gif

Convert a TeX document 📃 into an animation GIF 📺

gh-webhook-rd

Simple application that starts a job in Rundeck when receiving a webhook from GitHub

pycon-jp-2016-type-hints

homebridge-regza

tinyc

Tiny C Compiler written in Python 2

docker-nginx

Customized Docker image for personal use (mainly for TLS termination, load balancer, reverse proxy)