momohatt

hscaml

yet another toy OCaml interpreter in Haskell

graten

"Gradual Tensor Shape Checking" (ESOP 23)

min-caml-jvm

A tiny OCaml compiler with JVM backend 🐫☕️

egison-trs

Knuth-Bendix completion in Egison (and Haskell). 技術書典7

jasmin-example

Collection of learning resources for Jasmin (JVM assembler)

egison-sandbox

Pieces of code written in Egison

seccampDB

concurrent transaction control system from scratch

buchberger.egi

Buchberger's algorithm in Egison

cash

a toy shell written in OCaml 🐫🐚

examples

A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

indent-parser-example

chainer-compiler

Experimental toolchain to compile and run Chainer models

coquille

Interactive theorem proving with Coq in vim.

cpdt

notes & my solutions for Certified Programming with Dependent Types

Google-STEP

Google STEP development course 2017

hw7

linear-sovers

basic linear equation solver playground

mypy

Optional static typing for Python 3 and 2 (PEP 484)

ocaml-torch

OCaml bindings for PyTorch

plane-graph

Formalization of plane graph in Coq

PLAR

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

sandbox