Mizar / みざー (mizar)

mizar

Geek Repo

Location:Japan

Twitter:@mizarjp

Github PK Tool:Github PK Tool

Mizar / みざー's starred repositories

MS-DOS

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

Language:AssemblyLicense:MITStargazers:30451Issues:749Issues:0

min-sized-rust

🦀 How to minimize Rust binary size 📦

Language:RustLicense:MITStargazers:7704Issues:107Issues:35

Digital

A digital logic designer and circuit simulator.

Language:JavaLicense:GPL-3.0Stargazers:4156Issues:90Issues:885

iverilog

Icarus Verilog

Language:C++License:GPL-2.0Stargazers:2738Issues:135Issues:691

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:2286Issues:101Issues:2094

testlib

C++ library to develop competitive programming problems

Language:C++License:MITStargazers:1401Issues:37Issues:108

fast_float

Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12 and WebKit/Safari

Language:C++License:Apache-2.0Stargazers:1315Issues:36Issues:82

oj

Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.

Language:PythonLicense:MITStargazers:991Issues:17Issues:343

muslrust

Docker environment for building musl based static linux rust binaries

Language:RustLicense:MITStargazers:915Issues:13Issues:91

moralerspace

Moralerspace は、欧文フォント Monaspace と日本語フォント IBM Plex Sans JP 等を合成したプログラミング向けフォントです。

Language:PythonLicense:OFL-1.1Stargazers:656Issues:10Issues:6

library-checker-problems

The problem data (Test case generator, judge's solution, task, ...) of Library Checker

Language:C++License:Apache-2.0Stargazers:491Issues:19Issues:523

veryl

Veryl: A Modern Hardware Description Language

Language:RustLicense:NOASSERTIONStargazers:443Issues:10Issues:258

learn

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

glTF-Sample-Assets

To store all models and other assets related to glTF

min-sized-rust-windows

:crab: 464b rust binary on windows

Language:RustLicense:UnlicenseStargazers:209Issues:7Issues:4

verification-helper

a testing framework for snippet libraries used in competitive programming

Language:PythonLicense:MITStargazers:207Issues:8Issues:179

library

Competitive Programming Library

Language:C++License:CC0-1.0Stargazers:205Issues:6Issues:24

A-Z80

An implementation of the Z80 CPU for Altera, Xilinx and Lattice FPGAs

Language:HTMLLicense:GPL-2.0Stargazers:131Issues:17Issues:3

branchless_binary_search

A fast binary search that tries to be branchless

Language:C++License:BSL-1.0Stargazers:93Issues:4Issues:1

atoi-rs

Parse integers directly from `[u8]` slices in safe code

Language:RustLicense:MITStargazers:49Issues:5Issues:9

parsing-int-series

Parse multiple decimal integers separated by arbitrary number of delimiters

Language:C++License:BSD-2-ClauseStargazers:32Issues:6Issues:2

s_xbyak

ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python

Language:PythonLicense:BSD-3-ClauseStargazers:12Issues:3Issues:0
Language:RustLicense:NOASSERTIONStargazers:5Issues:0Issues:0

yukicoder-md

markdown to html converter for yukicoder.me

Language:RustStargazers:4Issues:0Issues:0

atcoder-proposal

AtCoder言語アップデートへの提案

Language:RustLicense:CC0-1.0Stargazers:3Issues:3Issues:0