Python IDE for beginners

Sparrow keyboard series QMK Firmware fork

A fast and lightweight native programming language

A tiny educational OS for RISC-V

A JavaScript emulator of the legendary EMS Synthi A synthesizer.

CJK computer science terms comparison / 中日韓電腦科學術語對照 / 日中韓のコンピュータ科学の用語対照 / 한·중·일 전산학 용어 대조

A Formal Verification of Algorithm W

This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.

Static functional reactive programming in C++14

The P programming language.

Sample ESP32 snippets and code fragments

an incremental approach to compiler construction

技術評論社の書籍「Haskell入門」のサンプルコードリポジトリ

Materials for the class "Implementation of Programming Languages" in Kyoto University.

Collapsing Towers of Interpreters (in Scheme)

Haskell to VHDL/Verilog/SystemVerilog compiler

my resume in a home made operating system

The Art of the Propagator. See also:

[not maintained] Lightweight JavaScript library operating system for the cloud

⛄ Possibly the smallest compiler ever

A book-in-progress about the Linux kernel and its insides.

Verification Framework for Actor Systems on Coq

Template for README.md

Master the command line, in one page

OCaml の日本語での情報

Dropbox Uploader is a BASH script which can be used to upload, download, list or delete files from Dropbox, an online file sharing, synchronization and backup service.

Fault-aware model checker for message passing systems