Pinned Repositories
4bitComputerEmulator
This emulates the 4bit computer and be able to run on the browser.
brumaire
cthulhu_bot
An unofficial Discord bot which helps you to play Cthulhu TRPG. Please note that Chaosium Inc. owns the copyright of Cthulhu TRPG.
EasyReorderableList
You can easily use ReorderableList in Unity. This will improve the design and efficiency of the Unity editor extension!
lamyuda
A simple untyped lambda-term manipulator written in Haskell
pwnpwnpurin
A CTF tool to build libc.so and its corresponding ld.so from source.
ShavedIce_ClassViewer
It is an application that visualizes functions and variables inside the DLL file and EXE file(.NET framework)
Unity_CPRDataSaver
With CPRSaveData, you can create encrypted save data that is hard to be rewritten!
Yatsugi
Yatsugi - 文化祭器材管理システム
kaprino
kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.
caphosra's Repositories
caphosra/Yatsugi
Yatsugi - 文化祭器材管理システム
caphosra/pwnpwnpurin
A CTF tool to build libc.so and its corresponding ld.so from source.
caphosra/brumaire
caphosra/dotfiles
No guarantee of good quality
caphosra/cthulhu_bot
An unofficial Discord bot which helps you to play Cthulhu TRPG. Please note that Chaosium Inc. owns the copyright of Cthulhu TRPG.
caphosra/lamyuda
A simple untyped lambda-term manipulator written in Haskell
caphosra/caphosra
caphosra/caphosra.github.io
This is a source repository of my blog.
caphosra/docker-images
A repository to manage my general-purpose docker images
caphosra/emehcs
A yet another scheme interpreter written in C
caphosra/esolang-battle
[+.<] Win the esolang master!!!
caphosra/fl_jikken
caphosra/glim-lang
A toolchain for theorem proving with a graphical interface
caphosra/improved_itc-lms
caphosra/jimei
Yet another theorem prover
caphosra/libcpoly
Let's write a C program in a parametric-polymorphismic way!
caphosra/lonly
A yet another Prolog-like logic programming language
caphosra/monopolizer
An analyzer for Monopoly, an interesting boardgame
caphosra/monopolycalc
This is an application that produce the possibilities on Monopoly, a famous board game.
caphosra/mumey
A yet another programming language with a lazy evaluation
caphosra/nvim-config
caphosra/plpm
Private Located Package Manager - This is a tool with which you can create and install some packages locally.
caphosra/pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
caphosra/reearth
A free, open and highly extensible WebGIS platform
caphosra/rinee
Rinee is a project to create a stronger heuristic reversi AI, which stands for "Reversi Is Not Easy Enough".
caphosra/SATySFi
A statically-typed, functional typesetting system
caphosra/satysfi-workshop
SATySFi Support for VSCode
caphosra/sbridge
A graphical tool for syncronizing ports with SSH beyond firewalls.
caphosra/TeXsTylE
A repository to manage my TeX environment
caphosra/thm