koba-e964

koba-e964's Stars

• BurntSushi/ripgrep

  ripgrep recursively searches directories for a regex pattern while respecting your gitignore

  Language:Rust49.4k2941.6k2k

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust21.5k61611348

• wader/fq

  jq for binary formats - tool, language and decoders for working with binary and text formats

  Language:Go9.8k5174227

• traefik/yaegi

  Yaegi is Another Elegant Go Interpreter

  Language:Go7.2k57854357

• kimci86/bkcrack

  Crack legacy zip encryption with Biham and Kocher's known plaintext attack.

  Language:C++1.7k20118164

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2548676

• decred/dcrd

  Decred daemon in Go (golang).

  Language:Go75276510295

• tukaani-project/xz

  XZ Utils

  Language:C6481861125

• rusticstuff/simdutf8

  SIMD-accelerated UTF-8 validation for Rust.

  Language:Rust53683127

• crillab/gophersat

  gophersat, a SAT solver in Go

  Language:Go372122323

• KATO-Hiro/AtCoderClans

  【非公式】AtCoderがもっと楽しくなるリンク集です。有志による非公式サービス・ツール・ライブラリ・記事などをまとめています。

  Language:Shell11534.9k12

• gtank/ristretto255

  Implements ristretto255, a fast prime-order group.

  Language:Go98132022

• bwesterb/go-ristretto

  Pure Go implementation of the Ristretto prime-order group over Edwards25519

  Language:Go879198

• pioz/chess

  A fast chess library that use bitboards to play chess with Ruby

  Language:C6072317

• herumi/ango

  53601

• iehality/lean4-logic

  Lean4 Logic Formalization

  Language:Lean495204

• AtCoder-NoviSteps/AtCoderNoviSteps

  【非公式】 AtCoder 上の問題について、取組み状況を記録していくサイトです。各問題が細かく難易度付けされており、必要な知識を段階的に習得できます。

  Language:TypeScript3634148

• akiym/ed25519brute

  Language:Go29203

• geekysuavo/ll1

  A bison grammar for parsing bison grammars

  Language:Yacc9210

• pfnet/sold

  Language:C++86260

• j6k1/USIAgent

  USIプロトコルに対応した将棋AIを開発するためのフレームワーク

  Language:Rust6300

• KOBA789/ch789-reed-solomon

  2023/6/18 https://youtu.be/0eST0Qgub4E の配信で実装した Reed-Solomon のコード（ほぼそのまま）

  Language:Rust420

• st34-satoshi/chess-results

  日本チェス連盟公式戦の結果

  Language:Ruby42

• sugyan/shogi-img

  Language:Rust4

• j6k1/nncombinator

  nncombinator is a neural network library that allows type-safe implementation.

  Language:Rust2200

• harukaeru/latin-conjugations

  ラテン語の文法についてのPDFなどを出力するコードです。bencrowderさんという人が作ったレポジトリのクローンです

  Language:Python110

• j6k1/leo

  USIプロトコルに対応した将棋AI

  Language:Rust1200

• j6k1/nnshogi

  USIAgentとnncombinatorを用いた将棋AIの実装

  Language:Rust1300

• jphager2/chess

  Chess in ruby

  Language:Ruby10

• kmyk/blog

  Language:SCSS1212