Beast code in Giters

Kazuki Negoro's starred repositories

public-apis

A collective list of free APIs

Language:PythonMIT306022 4160 613

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonNOASSERTION265153 6615 293

vhs

Your CLI home video recorder 📼

Language:GoMIT14468 35 188

prezto

The configuration framework for Zsh

Language:ShellMIT13888 214 1045

remark

A simple, in-browser, markdown-driven slideshow tool.

Language:JavaScriptMIT12665 205 526

neutralinojs

Portable and lightweight cross-platform desktop application development framework

Language:C++NOASSERTION7347 75 839

nteract

📘 The interactive computing suite for you! ✨

Language:TypeScriptBSD-3-Clause6186 149 1688

howtheytest

A collection of public resources about how software companies test their software

Language:HTMLCC0-1.05892 227 8

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustApache-2.04575 72 79

dsq

Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.

Language:GoNOASSERTION3692 27 58

dockle

Container Image Linter for Security, Helping build the Best-Practice Docker Image, Easy to start

Language:GoApache-2.02719 21 111

erg

A statically typed language compatible with Python

Language:RustApache-2.02623 17 225

ble.sh

Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.

Language:ShellBSD-3-Clause2371 27 382

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaMIT2263 55 781

Distrod is a meta-distro for WSL 2 which installs Ubuntu, Arch, Debian, Gentoo, etc. with systemd in a minute for you. Distrod also has built-in auto-start feature on Windows startup and port forwarding ability.

Language:RustMIT1891 23 73

stateright

A model checker for implementing distributed systems.

Language:RustMIT1551 23 31

wartremover

Flexible Scala code linting tool

Language:ScalaApache-2.01068 34 335

dissertation

Sources for my PhD dissertation on the Raft consensus algorithm

Language:TeXNOASSERTION975 53 1

airframe

Essential Building Blocks for Scala

Language:ScalaApache-2.0632 18 622

jackson-module-scala

Add-on module for Jackson (https://github.com/FasterXML/jackson) to support Scala-specific datatypes

Language:ScalaApache-2.0497 28 482

BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Language:TLAMIT483 12 6

pipr

A tool to interactively write shell pipelines.

Language:RustMIT456 5 13

mima

A tool for catching binary incompatibility in Scala

Language:ScalaApache-2.0448 18 216

mume

Powerful markdown tool

Language:TypeScriptNOASSERTION431 13 111

munit

Scala testing library with actionable errors and extensible APIs

Language:ScalaApache-2.0423 15 152

action-junit-report

Reports junit test results as GitHub Pull Request Check

Language:TypeScriptApache-2.0293 5 93

github_link_creator

GitHub Link Card Creator lets you generate GitHub images has links to repositories.

Language:GoApache-2.0203 6 6

drawio_mermaid_plugin

Mermaid plugin for drawio desktop

Language:JavaScriptGPL-3.0172 7 12

akka-projection

Akka Projections is intended for building systems with the CQRS pattern, and facilitate in event-based service-to-service communication.

Language:ScalaNOASSERTION99 14 268

zenn-metadata-updater-action

GitHub Action to update metadata in Zenn markdown file.

Language:TypeScriptMIT4 2 5

negokaz