Skip to content
View marionette-of-u's full-sized avatar
31 followers · 23 following
  • Tokyo, Japan

Block or report marionette-of-u

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

Stars

Type: All
Language
Sort by: Recently starred
Showing results

mathink / Cat_on_Coq

Setoid-based Category Theory in Coq.

HTML 12 Updated Dec 14, 2018

psychi / fragments

作りかけのプログラムの断片。

C++ 4 Updated Jul 10, 2016

mattn / tinytinyhttpd

tiny tiny httpd

C++ 88 16 Updated Apr 7, 2011

jonigata / caper

C++ 46 10 Updated Jul 29, 2020

yutopp / rill

Statically typed system programming language for 文鳥

OCaml 94 7 Updated Feb 22, 2021

pasberth / pasberth.github.io

CSS 1 Updated Dec 28, 2014

marionette-of-u / kp19pp

C++ 6 Updated Jul 27, 2014

ujihisa / mc68

https://twitter.com/mc681

Clojure 3 1 Updated Jul 16, 2013

marionette-of-u / cmpxx

GNU MPのラッパ、グレブナー基底（予定）など

C++ 3 Updated Oct 28, 2012

marionette-of-u / paper_cutter

c++ lexer generator.

C++ 4 Updated Jul 22, 2014

marionette-of-u / kp15

数式関数電卓

C++ 3 Updated May 28, 2012

yuratomo / dbg.vim

dbg.vim is vim scipt for debug the program. (support cdb, gdb, jdb,fdb,mdbg)

Vim Script 33 3 Updated Jul 17, 2015

marionette-of-u / cpp_multi_precision

C++ 3 Updated Jun 1, 2012

Silica / PSL

Embeddable Script Language for C++

C++ 36 7 Updated Sep 29, 2022

Shougo / neocomplcache-clang

Use of clang to complete in C/C++.

19 1 Updated Oct 25, 2011

Shougo / neocomplcache.vim

Ultimate auto-completion system for Vim.

Vim Script 1,721 135 Updated May 18, 2023