Burninator's starred repositories

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:33914Issues:187Issues:1865

nushell

A new type of shell

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:16927Issues:92Issues:203

mold

Mold: A Modern Linker 🦠

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10334Issues:96Issues:176

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10012Issues:180Issues:5440

ZLUDA

CUDA on AMD GPUs

Language:RustLicense:Apache-2.0Stargazers:8495Issues:120Issues:156

jsoncpp

A C++ library for interacting with JSON.

Language:C++License:NOASSERTIONStargazers:8004Issues:332Issues:781

FastUI

Build better UIs faster.

Language:PythonLicense:MITStargazers:7911Issues:65Issues:202

coder

Provision remote development environments via Terraform

Language:GoLicense:AGPL-3.0Stargazers:7536Issues:61Issues:5206

hanko

Authentication and user management system optimized for passkeys

Language:GoLicense:NOASSERTIONStargazers:5603Issues:34Issues:176

cue

The home of the CUE language! Validate and define text-based and dynamic configuration

Language:GoLicense:Apache-2.0Stargazers:4940Issues:45Issues:2396

llama-fs

A self-organizing file system with llama 3

Language:Jupyter NotebookLicense:MITStargazers:4652Issues:33Issues:39

rtty

🐛 Access your terminal from anywhere via the web.

starlark

Starlark Language

Language:StarlarkLicense:Apache-2.0Stargazers:2391Issues:58Issues:140

configu

Open-source ConfigOps infrastructure ⚙️

Language:TypeScriptLicense:Apache-2.0Stargazers:1523Issues:8Issues:148

byobu

text window manager, shell multiplexer, integrated DevOps environment

Language:ShellLicense:GPL-3.0Stargazers:1166Issues:30Issues:0

nxshell

An easy to use new terminal.

Language:JavaScriptLicense:MITStargazers:1003Issues:20Issues:322

zfp

Compressed numerical arrays that support high-speed random access

Language:C++License:BSD-3-ClauseStargazers:756Issues:29Issues:147

pyte

Simple VTXXX-compatible linux terminal emulator

Language:PythonLicense:LGPL-3.0Stargazers:647Issues:43Issues:110

guider

A Practically Applicable Performance Analyzer for Real Product Development

Language:PythonLicense:GPL-2.0Stargazers:625Issues:46Issues:123

METIS

METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering

Language:CLicense:NOASSERTIONStargazers:610Issues:14Issues:67

intel-npu-acceleration-library

Intel® NPU Acceleration Library

Language:PythonLicense:Apache-2.0Stargazers:400Issues:26Issues:52

yamlscript

Programming in YAML

Language:ClojureLicense:MITStargazers:367Issues:15Issues:90

cmdlime

Possibly the least verbose command line parsing library for C++

Language:C++License:MS-PLStargazers:85Issues:3Issues:16

cpp-yyjson

Ultra-fast and intuitive C++ JSON reader/writer with yyjson backend

Language:C++License:MITStargazers:47Issues:3Issues:11

Layout21

Integrated Circuit Layout

Language:RustLicense:BSD-3-ClauseStargazers:46Issues:9Issues:26

GKlib

A library of various helper routines and frameworks used by many of the lab's software

Language:CLicense:NOASSERTIONStargazers:37Issues:5Issues:20

Vlsir

Interchange formats for chip design.

Language:TypeScriptLicense:BSD-3-ClauseStargazers:26Issues:2Issues:48

sealark

Starlark parser and tooling

Language:CLicense:MITStargazers:12Issues:2Issues:0