bree's starred repositories

typst

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

Language:RustLicense:Apache-2.0Stargazers:31685Issues:86Issues:2253

eww

ElKowars wacky widgets

Language:RustLicense:MITStargazers:8891Issues:45Issues:688

FerretDB

A truly Open Source MongoDB alternative

Language:GoLicense:Apache-2.0Stargazers:8827Issues:83Issues:1372

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:3930Issues:116Issues:2481

material-maker

A procedural textures authoring and 3D model painting tool based on the Godot game engine

Language:GDScriptLicense:MITStargazers:3373Issues:64Issues:369

helio-sequencer

Libre music sequencer for desktop and mobile platforms

Language:C++License:GPL-3.0Stargazers:3046Issues:56Issues:255

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2853Issues:80Issues:2654

pretendard

어느 플랫폼에서든 사용할 수 있는 system-ui 대체 글꼴 | A system-ui alternative font for all cross-platform

Language:PythonLicense:NOASSERTIONStargazers:2559Issues:15Issues:91

uiua

A stack-based array programming language

Language:RustLicense:MITStargazers:1485Issues:25Issues:207

ydotool

Generic command-line automation tool (no X!)

Language:CLicense:AGPL-3.0Stargazers:1392Issues:21Issues:178

glisp

Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.

Language:TypeScriptLicense:MITStargazers:1098Issues:28Issues:22

GodSVG

An application in early development for creating simple vector graphics. Built in Godot.

Language:GDScriptLicense:MITStargazers:1086Issues:13Issues:243

SwiftGodot

New Godot bindings for Swift

Language:SwiftLicense:MITStargazers:1006Issues:25Issues:276

dax

Cross-platform shell tools for Deno and Node.js inspired by zx.

Language:TypeScriptLicense:MITStargazers:982Issues:6Issues:89

ChatLayout

ChatLayout is an alternative solution to MessageKit. It uses custom UICollectionViewLayout to provide you full control over the presentation as well as all the tools available in UICollectionView. It supports dynamic cells and supplementary view sizes.

Language:SwiftLicense:MITStargazers:836Issues:16Issues:57

godot-orchestrator

Orchestrator - A Visual Scripting Godot Plugin

Language:C++License:Apache-2.0Stargazers:833Issues:11Issues:304

pods

Keep track of your podman containers

Language:RustLicense:GPL-3.0Stargazers:713Issues:10Issues:98

Atoms

Easily manage Linux Chroot(s) and Containers with Atoms.

Language:PythonLicense:GPL-3.0Stargazers:397Issues:3Issues:40

godot_luaAPI

Godot LuaAPI

Language:C++License:NOASSERTIONStargazers:352Issues:13Issues:95

everparse

Automated generation of provably secure, zero-copy parsers from format specifications

Language:F*License:Apache-2.0Stargazers:241Issues:29Issues:42

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Yaksha

😈 Yaksha Programming Language - Offside rule + Lisp system for macros. 🐣 WIP

Language:CLicense:GPL-3.0Stargazers:194Issues:1Issues:36

zapper

Zaps arguments and environment from the process list

Language:RustLicense:Apache-2.0Stargazers:92Issues:6Issues:84

linear-scala

Linear types in Scala

Language:ScalaLicense:ISCStargazers:39Issues:3Issues:1

topsy

GPU-accelerated visualization for pynbody

Language:PythonLicense:BSD-3-ClauseStargazers:38Issues:4Issues:0

Niva

Smalltalk like programming language

Crystite

Custom headless server for the VR sandbox Resonite

Language:C#License:AGPL-3.0Stargazers:25Issues:3Issues:7

jrny

A lightweight, compiled, zero-dependency PostgreSQL schema revision tool; just add SQL!

Language:RustLicense:Apache-2.0Stargazers:6Issues:2Issues:31