ymyzk/lambda-dti ymyzk/lambda-dti

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 6 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ymyzk/lambda-dti
github

ymyzk

Reviews

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

Repository Details

Interpreter of the ITGL with dynamic type inference

More Repositories

1

tox-gh-actions

Seamless integration of tox into GitHub Actions for tox 3 and 4
Python
246
star
2

mypy-playground

The mypy playground. Try mypy with your web browser.
Python
69
star
3

kawasemi

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

wsgi_lineprof

WSGI middleware for line-by-line profiling
Python
49
star
5

python-gyazo

A Python wrapper for Gyazo API
Python
19
star
6

awesome-playgrounds

Curated list of playgrounds where you can test snippets online
12
star
7

portfolio

My portfolio website powered with React
TypeScript
10
star
8

mackerel-plugins

Custom plugins for Mackerel
Shell
8
star
9

gsrinfer

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
OCaml
7
star
10

cla-jwt-verifier

Simple HTTP server for verifying JWT issued by Cloudflare Access
Rust
7
star
11

python-gyazo-backup

A command-tool for creating backup of Gyazo
Python
7
star
12

dotfiles

My dotfiles
Shell
6
star
13

run-tox-gh-actions

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

sasm

Simple Assembler for SIMPLE Architecture
Python
4
star
15

hue-party

A joke script :)
Python
4
star
16

bottle-yotoslack

NO LONGER MAINTAINED: Send notifications to Slack when you received Yo!
Python
4
star
17

prom2bq

Copy data from Prometheus to BigQuery
Go
4
star
18

circleci-tex-sample

Perl
4
star
19

RTConnect

Tools for analyzing sales report files of iTunes Connect.
R
3
star
20

ochacaml

Unofficial fork of OchaCaml
3
star
21

spim-for-kuis

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

pep-561-samples

Example packages for demonstrating usage of PEP 561
Python
3
star
23

homebrew-ymyzk

Homebrew formulae
Ruby
2
star
24

vim-copl

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

meross-proxy

Wrap meross-iot with simple HTTP APIs for personal use
Python
2
star
26

lambda-rti

Interpreter of the ITGL with runtime type inference
OCaml
2
star
27

findme

Simple OS X command line tool for getting your location
Objective-C
2
star
28

co2meter_exporter

Prometheus exporter for CO2 meter
Python
2
star
29

yo.zsh

Send Yo! from Zsh
Shell
2
star
30

sensehat_exporter

Sense HAT exporter for Prometheus
Python
1
star
31

fj

Featherweight Java type checker
OCaml
1
star
32

pytconnect

Tools for analyzing sales report files of iTunes Connect.
1
star
33

firehook

Simple tool to link Google Assistant and smart home devices via Firebase
JavaScript
1
star
34

bme280_exporter

Prometheus exporter for BME280 sensor
Go
1
star
35

gsrchecker

A Type Checker for GTLC + shift/reset
OCaml
1
star
36

tex-to-gif

Convert a TeX document 📃 into an animation GIF 📺
Shell
1
star
37

gh-webhook-rd

Simple application that starts a job in Rundeck when receiving a webhook from GitHub
Go
1
star
38

pycon-jp-2016-type-hints

Python
1
star
39

homebridge-regza

JavaScript
1
star
40

tinyc

Tiny C Compiler written in Python 2
Python
1
star
41

docker-nginx

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