kkty

prolog

Implementation of Prolog in TypeScript

image-server

Simple http server that accepts an image, converts it to a different format, resizes/compresses it and sends it back

scriproxy

Easy-to-use dynamic(scriptable) reverse proxy server

theorem-prover

Automated theorem prover for first-order predicate logic written in TypeScript

compiler

Toy compiler for subset of OCaml, which generates assembly code that can be executed with https://github.com/kkty/simulator

reversi-wasm

Reversi AI written in Rust that can be compiled to wasm and run in browsers

probabilistic-database

A simple probabilistic database written in Python

kmer-sets-compression

Compression of Multiple k-mer Sets (Research)

simulator

Toy CPU simulator that executes assembly code generated by https://github.com/kkty/compiler

sleepuntil

chocon

contentful-express-nuxt-blog

ContentfulとExpressとNuxt.jsでブログを作ってみる

distributions

NodeSource Node.js Binary Distributions

fasthttp

Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http

go-funk

A modern Go utility library which provides helpers (map, find, contains, filter, ...)

kms-encrypt-obj

AWS KMSを用いて、オブジェクトを暗号化・復号化するためのNode.js用パッケージ

lemon

mirror of https://lemon.cs.elte.hu/hg/lemon

nanogo

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

pcl

Point Cloud Library (PCL)

pcl-ndt

peephole

tengo

A fast script language for Go

typeshed

Collection of library stubs for Python, with static types

v8.dev

The source code of v8.dev, the official website of the V8 project.

vitess

Vitess is a database clustering system for horizontal scaling of MySQL.

wpdb-js

retrieve posts/categories/tags directly from wordpress database