yozu

fresh-start. The original nirholas/claude-code before DMCA and take down. Once everything is cleared, it will return. Working with Anthropic and Github to get everything back.

type-systems. Implementations of various type systems in OCaml.

awkernel. Awkernel: realtime operating system written in Rust

chibicc-cil. A small C compiler for CIL

MalwareSourceCode. Collection of malware source code for a variety of platforms in an array of different programming languages.

cargo-dist. 📦 shippable application packaging

no-panic. Attribute macro to require that the compiler prove a function can't ever panic

rusty-php. 🧪 PHP SAPI implementation in Rust

satysfi-class-jlreq.

ISAAQ. Ising Machine-Assisted Quantum Compiler

pam-cryptsetup. Automatic LUKS header updates via PAM

ante. A safe, easy systems language

ImHex. 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

jpki-rs. 🔐 Read certificates, sign and verify documents using your JPKI card.

mini_solver. A small program that solves linear programming written in Rust.

javy. JS to WebAssembly toolchain

vicis. Manipulate LLVM-IR in Pure Rust

hwatch. hwatch: alternative watch command with history, diff view, JSONL logging, and change hooks. since 2018.

rusty-monad. An implementation for Monad in Rust as a prototype

ace. Ace (Ajax.org Cloud9 Editor)

sericum. (Toy) Compiler Infrastructure influenced by LLVM written in Rust

inline-python. Inline Python code directly in your Rust code

minijinja. MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

yacy_search_server. Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance

arXivQuration. repository to share the quantum information and quantum computer articles

mkcert. Create self signed ssl certificates without OpenSSL.

https-localhost. HTTPS server running on localhost

satysfi-code-printer. Typeset source code with SATySFi

monkey-json. A hobby project to write JSON parser from the scratch

luigi. Luigi is a Python module that helps you build complex pipelines of batch jobs. It handles dependency resolution, workflow management, visualization etc. It also comes with Hadoop support built in.

rustworkx. A high performance Python graph library implemented in Rust.

tilck. A Tiny Linux-Compatible Kernel

ascii-figure-to-svg. アスキーアートで作図したテキストを、SVGファイルに変換します。

BezierInfo-2. The development repo for the Primer on Bézier curves, https://pomax.github.io/bezierinfo

UEFI_FreeType_MSVC. UEFI アプリケーションで、英日中韓台のアウトライン・フォント表示を行うサンプル・プログラムです。

ly. A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).

satysfi-latexcmds. SATySFi package which provides LaTeX-like commands

satysfi-language-server. The SATySFi Language Server

interface99. Full-featured interfaces for C99

svg2saty. Convert SVG file to SATySFi's file.

satysfi-twemoji. [WIP] To use color emoji with SATySFi

mini-typescript. A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler

getoptions. An elegant option/argument parser for shell scripts (full support for bash and all POSIX shells)

public-apis. A collective list of free APIs

wallpapers. 🏔 Minimal design wallpapers.

xplr. A hackable, minimal, fast TUI file explorer

satysfi-figbox. A SATySFi package that creates charts and places them in inappropriate positions.

zellij. A terminal workspace with batteries included

tpm2KeyUnlock. Adds an automated unlock function based on TPM policy installation

git-now. A temporary commit tool for git

ghq-cache. Show frequently used repositories first in ghq list

gst. 👻 Supercharge your ghq workflow.

llmaker. Make LL(1) token parser code for Rust

mdbook-satysfi. A mdbook backend for generating SATySFi documents.

SATySFi-json. json parser for SATySFi

SATySFi-json-test. test files of SATySFi-json(https://github.com/puripuri2100/SATySFi-json)

wezterm. A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

alis. Arch Linux Install Script (or alis, also known as the Arch Linux executable installation guide and wiki) installs an unattended, automated and customized Arch Linux system.

archinstall. Arch Linux installer - guided, templates etc.

omnibus. Easily create full-stack installers for your project across a variety of platforms.

yumessenger. 💬 Simple messenger API application built on top of Symfony in PHP, testing with Gatling in Scala. Made with ❤ in the intern at Yumemi Inc.

satysfi-enumitem. SATySFi package for flexible ordered/unordered/description lists.

prototype-satysfi-language-server. Maquette of SATySFi language server

satysfi-arrows. JavaScript

fake-static. rustc hates him! Sidestep borrow checking with this weird trick.

satysfi-easytable. A SATySFi package to build simple tables.

screwsat. A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

vuh. Vulkan compute for people

plain-tex. Plain TeX by Knuth

loxcan. 🔍 Universal Lock File Scanner for Git. (Lock + Scan = LoXcan!)

git-cache-http-server. A caching Git HTTP server

mold. mold: A Modern Linker 🦠

sbt. sbt, the interactive build tool

DD-AVX_v3. Library of High Precision Sparse Matrix Operations Accelerated by SIMD

stackless. The Stackless Python programming language

tef. A plain TeX implementation far from completion

blog_os. Writing an OS in Rust

robosys2020. JavaScript

stjarticle. SATySFi's package

puripuri2100.github.io. HTML

import-deps. find python module imports

ralcu. 高機能電卓

quickcheck. Automated property based testing for Rust (with shrinking).

crates.io. The Rust package registry

inline_asm_catalogue. Catalogue of asm! snippets to help the discussion about stabilization of inline asm

exdesign. A class file easy to customize with SATySFi

rich. Rich is a Python library for rich text and beautiful formatting in the terminal.

neco-yaml-kwalify-schema. Vim plugin for code completion and schema validation of YAML

Sesterl. An ML-like statically-typed Erlang

swc. Rust-based platform for the Web

latex-utensils. A LaTeX parser, a BibTeX parser, and utilities.

ply_tex2sym. LaTeX to SymPy converter using ply.

latex2mathml. Convert LaTeX to MathML in Rust

mediasoup-client. mediasoup client side JavaScript library

rustysd. A service manager that is able to run "traditional" systemd services, written in rust

coreutils. Cross-platform Rust rewrite of the GNU coreutils

gsimaps-vector-experiment. 地理院地図Vector提供実験のソース

SpoonQ. Rust

qrand. A fair gacha using Quantum simulator

mitou-final-slide. 量子コンピュータによる公平な抽選システムの開発

qwgc. Quantum Walk Graph Classifier

glrnvim. glrnvim wraps nvim with your favourite terminal into a standalone, non-fancy but daily-usable neovim GUI.

revery. :zap: Native, high-performance, cross-platform desktop apps - built with Reason!

nnjhtrkn. Famous Ninja game for NES

ipsj_national_convention_template. 情報処理学会全国大会原稿 LaTeX フォーマット (非公式)

kaboom. Cruel but fair Minesweeper clone

minpac. A minimal package manager for Vim 8+ (and Neovim)

llmk. Light LaTeX Make

vim-lsp-settings. Auto configurations for Language Server for vim-lsp

wasm-rs. Rust

ci0. mini C compiler / interpreter for VM in 512 lines C program

z88dk. The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libraries.

Blawn. Pleasant Programming Language.

waiir. Writing An Interpreter In Rust (Writing An Interpreter In Go in Rust)

amber. A Language for High-Level Programming with Self-Extension

goby. Goby - Yet another programming language written in Go

lmntal.vim. lmntal syntax setting for vim

coreboot. Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.

bitcore-lib. A pure and powerful JavaScript Bitcoin library

leonsans. Leon Sans is a geometric sans-serif typeface made with code in 2019 by Jongmin Kim.

qulacs. Variational Quantum Circuit Simulator for Quantum Computation Research

nushell. A new type of shell

JuMP.jl. Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

azul. Desktop GUI Framework

qramana. TypeScript library for quantum calculation

constitution-of-japan. このレポジトリは、現在の日本国憲法、そして現在の日本国憲法に対して日本国憲法改正案がどのような変更点を含むのかを理解するためのものです

Gen.jl. A general-purpose probabilistic programming system with programmable inference

HyperMD. A WYSIWYG Markdown Editor for browsers. Break the Wall between writing and previewing.

QA-Prolog. Quantum Annealing Prolog

ThreeQ.jl. Julia interface to D-Wave quantum annealing hardware

qbsolv. Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.)

satysfi-examples. Makefile

satyrographos. Package manager for SATySFi

functional-programming-jargon. Jargon from the functional programming world in simple terms!

Functional-Light-JS. Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.

Cello. Higher level programming in C

pwndbg. Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

semantic. Parsing, analyzing, and comparing source code across many languages

pyqubo. Python DSL for constructing QUBOs from mathematical expressions.

weird-fonts. 𝑨 𝑱𝒂𝒗𝒂𝑺𝒄𝒓𝒊𝒑𝒕 𝒑𝒂𝒄𝒌𝒂𝒈𝒆 𝒕𝒉𝒂𝒕 𝒕𝒖𝒓𝒏 𝒂𝒍𝒑𝒉𝒂𝒏𝒖𝒎𝒆𝒓𝒊𝒄 𝒄𝒉𝒂𝒓𝒂𝒄𝒕𝒆𝒓𝒔 𝒊𝒏𝒕𝒐 𝒘𝒆𝒊𝒓𝒅 𝒇𝒐𝒏𝒕 𝒔𝒕𝒚𝒍𝒆.

uxy. UXY: Adding structure to the UNIX tools

lsd. The next gen ls command

css-only-chat. A truly monstrous async web chat using no JS whatsoever on the frontend

ZombieLoad. Proof-of-concept for the ZombieLoad attack

drofune. An insecure container runtime implementation

es6-promise. A polyfill for ES6-style Promises

termshark. A terminal UI for tshark, inspired by Wireshark

vim-polyglot. A solid language pack for Vim.

org-rs. org-mode parser rewrite in Rust

www.sh. Web framework in Bash

nameof. Nameof operator for modern C++, simply obtain the name of a variable, type, function, macro, and enum

kakoune. mawww's experiment for a better code editor

expac. alpm data extraction utility

gmail_clone. A Gmail Clone built with Flutter

blueqatSDK. Quantum Computer Library for Everyone

Mesh. A memory allocator that automatically reduces the memory footprint of C/C++ applications.

fenix. ⚠️ Fenix (Firefox for Android) moved to a new repository. It is now developed and maintained as part of: https://github.com/mozilla-mobile/firefox-android

zephyr. Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

lvgl. LVGL is a free, full-featured embedded UI library for devices from small MCUs to 3D-capable MPUs, enhanced by LVGL Pro, a professional editor and tooling.

gitbatch. manage your git repositories in one place

go-try. try/catch/finally for go

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee. eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

winforms. Windows Forms is a .NET UI framework for building Windows desktop applications.

boden. Purely native C++ cross-platform GUI framework for Android and iOS development. https://www.boden.io

SIMD-Visualiser. A tool to graphically visualize SIMD code

dwm-status. Highly performant and configurable DWM status service

trape. People tracker on the Internet: OSINT analysis and research tool by Jose Pino

unified. Parse, inspect, transform, and serialize content with syntax trees

IntelTXE-PoC. Intel Management Engine JTAG Proof of Concept

BuildYourOwnLisp. Learn C and build your own programming language in under 1000 lines of code!

texme. Self-rendering Markdown + LaTeX documents

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

dst. Decorated Syntax Tree - manipulate Go source with perfect fidelity.

data-science-complete-tutorial. For extensive instructor led learning

CVE-2018-10933. Spawn to shell without any credentials by using CVE-2018-10933 (LibSSH)

introducing-crystal. 『Introducing Crystal Programming Language』の原稿をまとめたリポジトリです

mml-book.github.io. Companion webpage to the book "Mathematics For Machine Learning"

tinyterm. C

MS-DOS. The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

YubiKey-Guide. Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

Pita. Constraint geometry processing language

dotfiles. dotfiles for macOS and Codespaces

dotfiles. my dotfiles

dotfiles. My development environment on OSX and Ubuntu using Mitamae

dwm. mirror of dwm http://hg.suckless.org/dwm

minc. C

interactive_latencies. Jeff Dean's latency numbers plotted over time

reminiscence. Self-Hosted Bookmark And Archive Manager

aif. AIF is the Arch linux Installation Framework.

q3vm. Q3VM - Single file (vm.c) bytecode virtual machine/interpreter for C-language input

JSCPP. A simple C++ interpreter written in JavaScript

core. :house_with_garden: Open source home automation that puts local control and privacy first.

windows95. Windows 95 in an app. Runs on macOS, Linux, and Windows.

git-bug. Distributed, offline-first bug tracker embedded in git

pwd.sh. GnuPG symmetric secrets manager using Bash.

lazygit. simple terminal UI for git commands

vialer-js. Pluggable WebRTC softphone and communication platform.

aozorabunko. HTML

alacritty. A cross-platform, OpenGL terminal emulator.

libaco. A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞