mkieblesz

donejs

Your app. Done.

mistral-finetune

babashka

Native, fast starting Clojure interpreter for scripting

aws-gocljs

fullstack web should be easy

shadow-cljs

ClojureScript compilation made easy

tillywork

Opensource work management

vtracer

Raster to Vector Graphics Converter

vaas

The Columns client SDK to create, publish and share data visualization

nebula

A distributed block-based data storage and compute engine

tinkerpop

Apache TinkerPop - a graph computing framework

jdd

A semantic JSON compare tool

quary

Open-source BI for engineers

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Idris

Codes related to Idris

agda

Agda is a dependently typed programming language / interactive theorem prover.

Grace

Grace Version Control System

datatype99

Algebraic data types for C99

nodejs-k8s

Attempt to recreate the core functionality of v1.29.1 Kubernetes in NodeJS, whle being fully compatible with the kubectl CLI

postgres-operator

Production PostgreSQL for Kubernetes, from high availability Postgres clusters to full-scale database-as-a-service.

unison

A friendly programming language from the future

electric

a reactive Clojure dialect for web development that uses a compiler to manage the frontend/backend boundary

tailwindcss-signals

Signals for Tailwind CSS simplifies styling based on ancestor state via style queries. Its declarative API for signaling states eliminates complex selectors, resulting in cleaner, more maintainable code.

low_cost_robot

mojo

The Mojo Programming Language

dropflow

A CSS layout engine

graphd

The Metaweb graph repository server

nebula

🌌 A network agnostic DHT crawler, monitor, and measurement tool that exposes timely information about DHT networks.

benchmarks

Latency benchmarks for messaging

cube

📊 Cube — The Semantic Layer for Building Data Applications

grok-1

Grok open release