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:30515Issues:747Issues:0

min-sized-rust

🦀 How to minimize Rust binary size 📦

Language:RustLicense:MITStargazers:7835Issues:108Issues:36

Digital

A digital logic designer and circuit simulator.

Language:JavaLicense:GPL-3.0Stargazers:4184Issues:90Issues:890

iverilog

Icarus Verilog

Language:C++License:GPL-2.0Stargazers:2752Issues:135Issues:697

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:2296Issues:101Issues:2113

testlib

C++ library to develop competitive programming problems

Language:C++License:MITStargazers:1409Issues:37Issues:109

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:1322Issues:38Issues:84

oj

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

Language:PythonLicense:MITStargazers:999Issues:17Issues:345

moralerspace

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

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

library-checker-problems

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

Language:C++License:Apache-2.0Stargazers:497Issues:21Issues:530

mcl

a portable and fast pairing-based cryptography library

Language:C++License:BSD-3-ClauseStargazers:453Issues:21Issues:156

veryl

Veryl: A Modern Hardware Description Language

Language:RustLicense:NOASSERTIONStargazers:449Issues:11Issues:265

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:210Issues:7Issues:4

library

Competitive Programming Library

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

verification-helper

a testing framework for snippet libraries used in competitive programming

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

A-Z80

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

Language:HTMLLicense:GPL-2.0Stargazers:134Issues: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