Discover qnighy/informatics-olympiad Open Source project

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

ipc_solver

OCaml

logic-solver-rs

Rusty Nails: an opinionated web application framework for Rust

nails

yasna.rs

ASN.1 library for Rust

BigQuery UDF to parse protobuf messages

bqpb

Vim syntax plugin for SATySFi typesetting system

satysfi.vim

A programming language (WIP)

umo

a crate to swap values between possibly-overlapping references

omniswap

Rust raw interface to libwebp

libwebp-sys2-rs

Win16 NE (New Executable) parser & disassembler

win16ne

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

node-cjs-interop

Ruby parser and LSP in Rust

rbbardiche

A proof-of-concept for ransomware encryption

ransomware-demo

Shell

ratsat

MiniSat reimplemented in Rust

Crosscompiling SATySFi from Ubuntu to Windows

satysfi-cross-windows

NSIS

yarn-lock-v1

A tool to downgrade your yarn.lock

JS multi-line literal done right

dedent-js

LALRPOP Vim plugin with minimal syntax-highlighting functionality

lalrpop.vim

Linear Logic Toy on Browser

async-guessing-games-2018

lltoy

JavaScript

vim-ssh-annex

Auxiliary vim syntax files for OpenSSH

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

ts-type-module-example

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

featherpg

A bridge library between libwebp and image

libwebp-image-rs

libwebp-rs

Rust binding to libwebp

MetalCab: Safer Rust binding for MeCab

metalcab

New Relic instrumentation in pure Rust (work in progress)

newrelic-unofficial-rust

testdata-rs

uni

mightybadger-rs

Yet another Honeybadger notifier for Rust

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

fakeenv

OptionCell: OnceCell but derivable from Option

coqex2014

CSS

option-cell

Intuitionistic Propositional Calculus

IPC-Coq

Coq

clone-into-box

A Rust library for cloning trait objects

Shumilog - a partial Prolog implementation

shumilog

Haskell

fediconnect

Twitter to Mastodon (or whatever SNS of your favourite)

JavaScript

dotfiles

zshrc, vimrc, vimfiles ...

webp-rs-old

rust-compiler-walkthrough-ja

TeX

ferris_watch

rust-handson2-exercises

tapir-old

iscs-thesis

webp-rs

Rust libwebp bindings

htstream

A streaming HTTP parser

derive-toy

A filter for integrating Clippy with Reviewdog

clippy-reviewdog-filter

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

copl-prolog

Prolog

okkake-rs

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

HTML

js-ecosystem-walkthrough-materials

Lightweight Judge Server for ICPC qualification round in Japan

lightjudge

rust-ill

Simple WordCard using Scala/Lift

lifttango

Scala

crypt-impl-rust

rails-double-proxy-redirection

RGSSTests

Test codes for RGSS.

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

go-flag.rs

qnighy's magical judgement

qmjudge

Scala

ghdl-hello

GHDL Sample Program & Makefile

VHDL

proofline0

study for making programming language, with linear logic

OCaml

metamarshal

Pure Ruby Marshal

Japanese Translation of the Rust standard library documentation

rust-std-translations

Exercise in implementing Mutex for futures.

fplp-interpreter

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

OCaml

futures-mutex-exercise

Decoder for Ruby's Marshal in JavaScript

marshal-js

mightybadger-rocket

An experimental implementation of library-level by-move references

LType-Coq

Linear Logic Toy for Coq

Coq

joi-sp-tr-sol

nazo

rust-refmove

PoC binder representation in Rust

bbinder

Google Cloud client in async Rust

qnighy.github.io

HTML

roogle-cloud

validation.hpp: An alternative to testlib.h

validation

C++

jest-global-types-with-typeroots

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

Can ChatGPT write a Babel plugin?

chatgpt-experiment-babel-plugin

JavaScript

flexiyaml

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

checkerlib

wikipex

Scala

dos-decompile

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

joi-yosen

Java

competition-codes

recursive-coalgebras

TeX

ts-jest-esm-failure-example

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

mastodon-remote-tools

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

cms-cookbook