brecert

godot_luaAPI

Godot LuaAPI

SwiftGodot

New Godot bindings for Swift

godot-orchestrator

Orchestrator - A Visual Scripting Godot Plugin

GodSVG

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

material-maker

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

Crystite

Custom headless server for the VR sandbox Resonite

eww

ElKowars wacky widgets

rzk

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

Atoms

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

pods

Keep track of your podman containers

uiua

A stack-based array programming language

Niva

Smalltalk like programming language

helio-sequencer

One music sequencer for all major platforms, desktop and mobile

everparse

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

planus

zapper

Zaps arguments and environment from the process list

declarative-flatpak

dax

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

linear-scala

Linear types in Scala

topsy

GPU-accelerated visualization for pynbody

ydotool

Generic command-line automation tool (no X!)

jrny

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

FerretDB

A truly Open Source MongoDB alternative

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.

Yaksha

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

typst

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

dafny

Dafny is a verification-aware programming language

pretendard

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

roc

A fast, friendly, functional language.

glisp

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