CptBreeza

typst

A new markup-based typesetting system that is powerful and easy to learn.

dragonfly

A modern replacement for Redis and Memcached

awesome-english-ebooks

经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新

BetterDisplay

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

actix

Actor framework for Rust.

Sloth

Mac app that shows all open files, directories, sockets, pipes and devices in use by all running processes. Nice GUI for lsof.

idiomatic-rust

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

linux-network-performance-parameters

Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

dist-prog-book

hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

hydra

Hydra: Column-oriented Postgres. Add scalable analytics to your project in minutes.

Functional-Programming

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

elasticmq

In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded.

Ripes

A graphical processor simulator and assembly editor for the RISC-V ISA

asm_book

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level languages.

aquascope

Interactive visualizations of Rust at compile-time and run-time

Rustt

RusttT 翻译小组的官方仓库，这里有国外优秀的技术文章、学习教程、新闻资讯的高质量翻译。

barco

Linux containers from scratch in C.

octox

Unix-like OS in Rust inspired by xv6-riscv

py-caskdb

(educational) build your own disk based KV store

veles

Binary data analysis and visualization tool

Fomos

Experimental OS, built with rust

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

bedframe

Your Browser Extension Development Framework

owl

A toolkit for writing command-line user interfaces.

rxv64

xv6 OS

nginx-haskell-module

A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server

Type-System-Zoo