Pinned Repositories
agda-handson
agda handson
glitch-text
common lisp glitch-text library
le4a
tiny ml compiler
lua-parser
Lua parser implemented in OCaml
ml-prolog
ML interpreter written in Prolog
probot
🤖 A framework for building GitHub Apps to automate and improve your workflow
ws-ocaml
WebSocket server implementation of OCaml
krtx's Repositories
krtx/ws-ocaml
WebSocket server implementation of OCaml
krtx/lua-parser
Lua parser implemented in OCaml
krtx/probot
🤖 A framework for building GitHub Apps to automate and improve your workflow
krtx/alstat
krtx/anyenv
all in one for **env
krtx/archipelago
krtx/autoscaler
Automatically adds or removes instances based on build volume
krtx/compare-cf-as
compare concurrent.futures and asyncio
krtx/dbtutorial
https://cstack.github.io/db_tutorial/ in dart
krtx/flask-autodoc
Flask autodoc automatically creates an online documentation for your flask application.
krtx/ghactions-test
github actionsでiosアプリをアップロードする
krtx/GHActionsUploadAndroid
krtx/github-slideshow
A robot powered training repository :robot:
krtx/guitar-tones
krtx/heroku
GitHub Action for interacting with Heroku
krtx/heroku-push
krtx/hicup2017
krtx/highloadcup
HighLoad Cup. Золотая лихорадка
krtx/issue-comment
krtx/krtx.github.io
krtx/probot-comment
krtx/quota-system
krtx/simple-tool
krtx/sops
Simple and flexible tool for managing secrets
krtx/test-drone
krtx/test-gh
krtx/test-js
krtx/test-repo
test-repo
krtx/url-regex
Regular expression for matching URLs
krtx/weather-aggregator
https://krtx.net/weather-aggregator/