nyuichi

nyuichi's Stars

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML16.2k2825011.1k

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean5.1k652.1k465

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k204436687

• apache/logging-log4j2

  Apache Log4j is a versatile, feature-rich, efficient logging API and backend for Java.

  Language:Java3.4k1105321.6k

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript3.2k2923490

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.9k271

• aappleby/smhasher

  Automatically exported from code.google.com/p/smhasher

  Language:C++2.7k11280475

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1.1k4926402

• egison/egison

  The Egison Programming Language

  Language:Haskell9174515631

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml447255579

• riscv-software-src/homebrew-riscv

  homebrew (macOS) packages for RISC-V toolchain

  Language:Ruby3283310449

• thomasjball/PyExZ3

  Python Exploration with Z3

  Language:HTML323251251

• frozenlib/parse-display

  Procedural macro to implement Display and FromStr using common settings.

  Language:Rust18423214

• onitama/OpenHSP

  Hot Soup Processor (HSP3)

  Language:C182131223

• orium/cargo-rdme

  Cargo command to create the README.md from your crate's documentation

  Language:Rust1526356

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C5463121

• na4zagin3/satyrographos

  Package manager for SATySFi

  Language:OCaml45711013

• egison/egison-haskell

  Template Haskell Implementation of Egison Pattern Matching

  Language:Haskell329122

• nyuichi/satysfi-base

  complementary collection of useful functions and modules for SATySFi

  Language:JavaScript3183311

• amutake/docker-satysfi

  Docker images for SATySFi and Satyrographos

  Language:Dockerfile264156

• oraccha/omicron

  Omicron Wiki

  18400

• egison/typed-egison

  Language:Haskell17561

• sergey-worm/wrmos

  RTOS based on L4 microkernel.

  Language:C++16104

• unaoya/math_pdf

  Language:TeX16300

• zr-tex8r/satysfi-zrbase

  SATySFiでのプログラミングをもっと快適にするためのパッケージ集

  10301

• yabaitechtokyo/satysfi-class-yabaitech

  SATySFi class file for yabaitech.tokyo

  Language:JavaScript9542

• momohatt/egison-trs

  Knuth-Bendix completion in Egison (and Haskell). 技術書典7

  Language:Haskell6410

• myml/vscode-markdown-plantuml-preview

  vscode-markdown-plantuml-preview

  Language:TypeScript6201

• yamashita1238/sat_egison

  SAT solver written by Egison

  6101

• pandaman64/wasabi

  A unified framework that connects logics to Shari theorem prover

  Language:Rust140