ymyzk/fj

This repository has been archived on 28/Dec/2020
Stars
1
Language
OCaml
License
MIT License
Created over 9 years ago
Updated over 4 years ago

ymyzk/fj

ymyzk

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

Featherweight Java type checker

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

cla-jwt-verifier

Simple HTTP server for verifying JWT issued by Cloudflare Access

python-gyazo-backup

A command-tool for creating backup of Gyazo

dotfiles

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

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

gsrchecker

A Type Checker for GTLC + shift/reset

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)