Discover @qnighy Open Source projects

Masaki Hara (@qnighy)

qnighy

Stars
829
Global Rank 36,652 (Top 2 %)
Followers 285
Following 113
Registered almost 16 years ago
Most used languages

Rust
39.5 %

TypeScript
15.1 %

Ruby
5.8 %

C
4.7 %

Vim Script
4.7 %

TeX
3.5 %

Scala
3.5 %

OCaml
3.5 %

JavaScript
3.5 %

HTML
3.5 %

C++
2.3 %

Coq 2.3 %

Java
1.2 %

Haskell
1.2 %

NSIS 1.2 %

Prolog
1.2 %

CSS
1.2 %

VHDL 1.2 %

Shell
1.2 %
Location 🇯🇵 Japan
Country Total Rank 859
Country Ranking

NSIS 1

OCaml
14

Prolog
15

Coq 19

VHDL 33

Rust
49

Vim Script
88

TeX
139

Haskell
191

C
236

Scala
275

TypeScript
349

Shell
543

CSS
640

HTML
710

Ruby
1,379

C++
2,106

JavaScript
2,219

Java
3,579

tapir

RGSS compatible runtime (namely: emulator for RPG Maker XP, VX, and VX Ace)

dont

swiss army knife for everything you do not want to do

ipc_solver

O(N log N)-space IPC solver in OCaml

logic-solver-rs

nails

Rusty Nails: an opinionated web application framework for Rust

yasna.rs

ASN.1 library for Rust

bqpb

BigQuery UDF to parse protobuf messages

satysfi.vim

Vim syntax plugin for SATySFi typesetting system

umo

A programming language (WIP)

omniswap

a crate to swap values between possibly-overlapping references

libwebp-sys2-rs

Rust raw interface to libwebp

win16ne

Win16 NE (New Executable) parser & disassembler

node-cjs-interop

Babel plugin and helper functions for interoperation between Node.js native ESM and Babel ESM

rbbardiche

Ruby parser and LSP in Rust

ransomware-demo

A proof-of-concept for ransomware encryption

ratsat

MiniSat reimplemented in Rust

satysfi-cross-windows

Crosscompiling SATySFi from Ubuntu to Windows

yarn-lock-v1

A tool to downgrade your yarn.lock

dedent-js

JS multi-line literal done right

lalrpop.vim

LALRPOP Vim plugin with minimal syntax-highlighting functionality

async-guessing-games-2018

lltoy

Linear Logic Toy on Browser

vim-ssh-annex

Auxiliary vim syntax files for OpenSSH

ts-type-module-example

Turning your TypeScript package into "type": "module"

featherpg

Work in progress: PostgreSQL-compatible on-memory DB for testing

libwebp-image-rs

A bridge library between libwebp and image

libwebp-rs

Rust binding to libwebp

metalcab

MetalCab: Safer Rust binding for MeCab

newrelic-unofficial-rust

New Relic instrumentation in pure Rust (work in progress)

testdata-rs

uni

mightybadger-rs

Yet another Honeybadger notifier for Rust

fakeenv

A simple wrapper of `std::env` which allows faking the environment in Rust

coqex2014

option-cell

OptionCell: OnceCell but derivable from Option

IPC-Coq

Intuitionistic Propositional Calculus

clone-into-box

A Rust library for cloning trait objects

shumilog

Shumilog - a partial Prolog implementation

fediconnect

Twitter to Mastodon (or whatever SNS of your favourite)

dotfiles

zshrc, vimrc, vimfiles ...

webp-rs-old

rust-compiler-walkthrough-ja

ferris_watch

rust-handson2-exercises

tapir-old

iscs-thesis

webp-rs

Rust libwebp bindings

htstream

A streaming HTTP parser

derive-toy

clippy-reviewdog-filter

A filter for integrating Clippy with Reviewdog

copl-prolog

okkake-rs

小説家になろう追っかけ読書ツール「okkake」

js-ecosystem-walkthrough-materials

Additional materials for https://qiita.com/qnighy/items/16fdd8e58309a1f706a0

lightjudge

Lightweight Judge Server for ICPC qualification round in Japan

rust-ill

lifttango

Simple WordCard using Scala/Lift

crypt-impl-rust

rails-double-proxy-redirection

RGSSTests

Test codes for RGSS.

informatics-olympiad

Problems from some Informatics Olympiad, and solutions to them.

go-flag.rs

Rust command line argument parser, made to be compatible with Go's `flag`

qmjudge

qnighy's magical judgement

ghdl-hello

GHDL Sample Program & Makefile

proofline0

study for making programming language, with linear logic

metamarshal

Pure Ruby Marshal

rust-std-translations

Japanese Translation of the Rust standard library documentation

fplp-interpreter

関数・論理型プログラミング実験

futures-mutex-exercise

Exercise in implementing Mutex for futures.

marshal-js

Decoder for Ruby's Marshal in JavaScript

mightybadger-rocket

LType-Coq

Linear Logic Toy for Coq

joi-sp-tr-sol

rust-refmove

An experimental implementation of library-level by-move references

bbinder

PoC binder representation in Rust

qnighy.github.io

roogle-cloud

Google Cloud client in async Rust

validation

validation.hpp: An alternative to testlib.h

jest-global-types-with-typeroots

https://github.com/DefinitelyTyped/DefinitelyTyped/pull/51587

chatgpt-experiment-babel-plugin

Can ChatGPT write a Babel plugin?

flexiyaml

checkerlib

checkerlib.h: a header for making input_checker, output_checker, and reactive

wikipex

dos-decompile

joi-yosen

http://www.ioi-jp.org/ yosen

competition-codes

recursive-coalgebras

ts-jest-esm-failure-example

https://github.com/kulshekhar/ts-jest/issues/2399

mastodon-remote-tools

cms-cookbook

a cookbook for CMS, Contest Management System ( https://github.com/cms-dev/cms/ )