mcoqzeug's starred repositories

Bash-Oneliner

A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.

License:MITStargazers:9913Issues:0Issues:0

quicktest.nvim

Run your tests in split window or popup with live feedback

Language:C++License:MITStargazers:61Issues:0Issues:0

neotest-golang

Reliable Neotest adapter for running Go tests in Neovim.

Language:LuaLicense:MITStargazers:86Issues:0Issues:0

zellij

A terminal workspace with batteries included

Language:RustLicense:MITStargazers:20038Issues:0Issues:0

valkey

A flexible distributed key-value datastore that supports both caching and beyond caching workloads.

Language:CLicense:NOASSERTIONStargazers:15045Issues:0Issues:0

vim-fugitive

fugitive.vim: A Git wrapper so awesome, it should be illegal

Language:Vim ScriptStargazers:19711Issues:0Issues:0

professional-programming

A collection of learning resources for curious software engineers

Language:PythonLicense:MITStargazers:46063Issues:0Issues:0

tigerbeetle

The financial transactions database designed for mission critical safety and performance.

Language:ZigLicense:Apache-2.0Stargazers:9302Issues:0Issues:0

mini-lsm

A tutorial of building an LSM-Tree storage engine in a week!

Language:RustLicense:Apache-2.0Stargazers:2444Issues:0Issues:0

stb

stb single-file public domain libraries for C/C++

Language:CLicense:NOASSERTIONStargazers:26042Issues:0Issues:0

single_file_libs

List of single-file C/C++ libraries.

Stargazers:8844Issues:0Issues:0

banban

A productivity app inspired by GitHub Projects Kanban

Language:RustLicense:MITStargazers:49Issues:0Issues:0

fullcalendar-vue

The official Vue 3 component for FullCalendar

Language:JavaScriptLicense:MITStargazers:1371Issues:0Issues:0

bash2048

Bash implementation of 2048 game

Language:ShellLicense:UnlicenseStargazers:897Issues:0Issues:0

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

Stargazers:2374Issues:0Issues:0

verdi

A framework for formally verifying distributed systems implementations in Coq

Language:CoqLicense:BSD-2-ClauseStargazers:580Issues:0Issues:0

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

License:NOASSERTIONStargazers:26108Issues:0Issues:0

cs3110

My personal solutions to exercises in the CS3110 textbook (Fall 2021 Edition)

Language:OCamlStargazers:1Issues:0Issues:0

design-patterns-for-humans

An ultra-simplified explanation to design patterns

Stargazers:44260Issues:0Issues:0

the-art-of-command-line

Master the command line, in one page

Stargazers:151601Issues:0Issues:0

dream

Tidy, feature-complete Web framework

Language:OCamlLicense:MITStargazers:1566Issues:0Issues:0

risingwave

SQL query engine for event streams. Perform streaming analytics, or build event-driven applications, real-time ETL pipelines, and feature stores in minutes. Unified streaming and batch processing. PostgreSQL compatible.

Language:RustLicense:Apache-2.0Stargazers:6695Issues:0Issues:0

risinglight

An educational OLAP database system.

Language:RustLicense:Apache-2.0Stargazers:1571Issues:0Issues:0

talent-plan

open source training courses about distributed database and distributed systems

Language:RustStargazers:10008Issues:0Issues:0

go-perfbook

Thoughts on Go performance optimization

Stargazers:10634Issues:0Issues:0

gopher-reading-list

A curated selection of blog posts on Go

License:Apache-2.0Stargazers:7846Issues:0Issues:0

kafka-ui

Open-Source Web UI for Apache Kafka Management

Language:JavaLicense:Apache-2.0Stargazers:9269Issues:0Issues:0

go-datastructures

A collection of useful, performant, and threadsafe Go datastructures.

Language:GoLicense:Apache-2.0Stargazers:7607Issues:0Issues:0

MIT6.824-2021

4 labs + 2 challenges + 4 docs

Language:ShellStargazers:1393Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6918Issues:0Issues:0