Matt Kieblesz's starred repositories

ngraph

Beautiful Graphs

License:MITStargazers:1415Issues:0Issues:0

VivaGraphJS

Graph drawing library for JavaScript

Language:JavaScriptLicense:NOASSERTIONStargazers:3745Issues:0Issues:0

vis-network

:dizzy: Display dynamic, automatically organised, customizable network views.

Language:JavaScriptLicense:Apache-2.0Stargazers:2951Issues:0Issues:0

G6

♾ A Graph Visualization Framework in JavaScript.

Language:TypeScriptLicense:MITStargazers:10958Issues:0Issues:0

RecallGraph

A versioning data store for time-variant graph data.

Language:JavaScriptLicense:Apache-2.0Stargazers:334Issues:0Issues:0

donejs

Your app. Done.

Language:JavaScriptLicense:MITStargazers:1345Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:2596Issues:0Issues:0

babashka

Native, fast starting Clojure interpreter for scripting

Language:ClojureLicense:EPL-1.0Stargazers:3967Issues:0Issues:0

aws-gocljs

fullstack web should be easy

Language:GoLicense:MITStargazers:41Issues:0Issues:0

shadow-cljs

ClojureScript compilation made easy

Language:ClojureLicense:EPL-1.0Stargazers:2233Issues:0Issues:0

tillywork

Opensource work management

Language:TypeScriptLicense:MITStargazers:615Issues:0Issues:0

vtracer

Raster to Vector Graphics Converter

Language:RustLicense:MITStargazers:3034Issues:0Issues:0

vaas

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

Language:TypeScriptLicense:Apache-2.0Stargazers:15Issues:0Issues:0

nebula

A distributed block-based data storage and compute engine

Language:C++License:Apache-2.0Stargazers:153Issues:0Issues:0

tinkerpop

Apache TinkerPop - a graph computing framework

Language:JavaLicense:Apache-2.0Stargazers:1940Issues:0Issues:0

jdd

A semantic JSON compare tool

Language:JavaScriptLicense:Apache-2.0Stargazers:1013Issues:0Issues:0

quary

Open-source BI for engineers

Language:RustLicense:Apache-2.0Stargazers:2110Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4738Issues:0Issues:0

Idris

Codes related to Idris

Language:IdrisStargazers:15Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:2428Issues:0Issues:0

Grace

Grace Version Control System

Language:F#License:MITStargazers:528Issues:0Issues:0

datatype99

Algebraic data types for C99

Language:CLicense:MITStargazers:1348Issues:0Issues:0

nodejs-k8s

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

Language:JavaScriptLicense:MITStargazers:116Issues:0Issues:0

postgres-operator

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

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

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5686Issues:0Issues:0

electric

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

Language:ClojureLicense:EPL-2.0Stargazers:1713Issues:0Issues:0

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.

Language:TypeScriptLicense:MITStargazers:712Issues:0Issues:0
Language:PythonLicense:MITStargazers:2876Issues:0Issues:0

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:22521Issues:0Issues:0

dropflow

A CSS layout engine

Language:TypeScriptLicense:MITStargazers:1235Issues:0Issues:0