Frank Uhlig's starred repositories

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32281Issues:0Issues:0

Vale

Compiler for the Vale programming language - http://vale.dev/

Language:ScalaLicense:Apache-2.0Stargazers:1709Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:84179Issues:0Issues:0

Anime-Girls-Holding-Programming-Books

Anime Girls Holding Programming Books

Stargazers:18111Issues:0Issues:0

cheribsd

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

License:NOASSERTIONStargazers:152Issues:0Issues:0

dodbooksourcecode

Source code to the data-oriented design book

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

deno

A modern runtime for JavaScript and TypeScript.

Language:RustLicense:MITStargazers:93093Issues:0Issues:0

void_switch

3D printable magnetic separation contactless key switch and stabilizers (OpenSCAD files)

Language:OpenSCADStargazers:684Issues:0Issues:0

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:16959Issues:0Issues:0

awesome-space

🛰️🚀A list of awesome space-related packages and resources maintained by The Orbital Index

Language:RubyStargazers:1785Issues:0Issues:0

mold

Mold: A Modern Linker 🦠

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

circle

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Language:CLicense:GPL-3.0Stargazers:1745Issues:0Issues:0

orly-full-res

Full resolution images of the O RLY book covers made by The Practical Dev

Stargazers:2682Issues:0Issues:0

drgn

Programmable debugger

Language:PythonLicense:NOASSERTIONStargazers:1664Issues:0Issues:0

Project_CodeNet

This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX

Language:PythonLicense:Apache-2.0Stargazers:1501Issues:0Issues:0

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Language:CLicense:NOASSERTIONStargazers:3792Issues:0Issues:0

dura

You shouldn't ever lose your work if you're using Git

Language:RustLicense:NOASSERTIONStargazers:4256Issues:0Issues:0

guru

GURU: Ebuild repository entirely maintained by Gentoo users

Language:ShellStargazers:58Issues:0Issues:0

OpenDiablo2

An open source re-implementation of Diablo 2

Language:GoLicense:GPL-3.0Stargazers:10683Issues:0Issues:0

thefuck

Magnificent app which corrects your previous console command.

Language:PythonLicense:MITStargazers:83158Issues:0Issues:0

toolbox

Tool for interactive command line environments on Linux

Language:ShellLicense:Apache-2.0Stargazers:2319Issues:0Issues:0

camkes

Component Architecture test suite and example apps.

Language:CLicense:NOASSERTIONStargazers:28Issues:0Issues:0

awesome-love2d

A curated list of amazingly awesome LÖVE libraries, resources and shiny things.

License:CC0-1.0Stargazers:3078Issues:0Issues:0

barrier

Open-source KVM software

Language:CLicense:NOASSERTIONStargazers:26341Issues:0Issues:0

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyLicense:AGPL-3.0Stargazers:46123Issues:0Issues:0

m3o

Serverless Micro Services

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

LightningExchanges

List of exchanges that support Lightning Network

Stargazers:184Issues:0Issues:0

control-flag

A system to flag anomalous source code expressions by learning typical expressions from training data

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

bottlerocket

An operating system designed for hosting containers

Language:RustLicense:NOASSERTIONStargazers:8243Issues:0Issues:0

kerla

A new operating system kernel with Linux binary compatibility written in Rust.

Language:RustLicense:NOASSERTIONStargazers:3317Issues:0Issues:0