Skip to content
View wtakuo's full-sized avatar

Highlights

  • Pro

Organizations

@itspsdl @psg-titech @titech-os @titech-cps @titech-cpp

Block or report wtakuo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Python IDE for beginners

Python 3,260 1,045 Updated Feb 4, 2025

Sparrow keyboard series QMK Firmware fork

C 1 Updated Feb 15, 2025
C++ 3 Updated Dec 21, 2022

A fast and lightweight native programming language

Shell 1,258 53 Updated Feb 15, 2025

A tiny educational OS for RISC-V

C 19 3 Updated Oct 14, 2024

A JavaScript emulator of the legendary EMS Synthi A synthesizer.

JavaScript 162 11 Updated Jan 11, 2021

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

Python 134 10 Updated Aug 25, 2024

A Formal Verification of Algorithm W

Coq 17 Updated Mar 10, 2021

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

C 867 314 Updated Oct 22, 2024

Static functional reactive programming in C++14

C++ 67 19 Updated Jan 13, 2017

The P programming language.

C# 3,100 183 Updated Feb 12, 2025

Sample ESP32 snippets and code fragments

C 2,395 710 Updated May 12, 2024

an incremental approach to compiler construction

Scheme 926 112 Updated Oct 9, 2019

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

Haskell 26 7 Updated Jan 18, 2022

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

OCaml 162 29 Updated Feb 15, 2025

Collapsing Towers of Interpreters (in Scheme)

Scheme 56 3 Updated Aug 22, 2018
Elixir 5 2 Updated Jan 9, 2017

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,465 156 Updated Feb 15, 2025

my resume in a home made operating system

C 336 47 Updated Sep 6, 2016

The Art of the Propagator. See also:

Haskell 171 25 Updated Apr 1, 2024

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

C++ 1,924 126 Updated Dec 19, 2019

⛄ Possibly the smallest compiler ever

JavaScript 28,105 2,867 Updated Feb 19, 2024
Arduino 2 Updated Mar 26, 2016

A little bit about a linux kernel

Python 30,326 3,384 Updated Nov 23, 2024

Verification Framework for Actor Systems on Coq

OCaml 29 3 Updated Jul 2, 2018

Template for README.md

66 99 Updated Feb 4, 2013

Master the command line, in one page

154,722 14,598 Updated Jun 25, 2024

OCaml の日本語での情報

OCaml 94 2 Updated Oct 3, 2018

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.

Shell 6,580 1,074 Updated Jun 4, 2024

Fault-aware model checker for message passing systems

Go 3 1 Updated Nov 19, 2020
Next
Showing results