Beast code in Giters

M K's starred repositories

grok-1

Grok open release

Language:PythonApache-2.049753 591 214

mojo

The Mojo Programming Language

Language:MojoNOASSERTION23485 263 2245

cube

📊 Cube — Universal semantic layer platform for AI, BI, spreadsheets, and embedded analytics

Language:RustNOASSERTION18101 162 2402

unison

A friendly programming language from the future

Language:HaskellNOASSERTION5859 107 2836

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:OCamlLGPL-2.14894 104 10112

babashka

Native, fast starting Clojure interpreter for scripting

Language:ClojureEPL-1.04109 46 862

postgres-operator

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

Language:GoApache-2.04004 66 2061

vtracer

Raster to Vector Graphics Converter

Language:RustMIT3626 510

low_cost_robot

Language:PythonMIT3116 55 28

mistral-finetune

Language:PythonApache-2.02791 40 39

agda

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

Language:HaskellNOASSERTION2538 65 5558

shadow-cljs

ClojureScript compilation made easy

Language:ClojureEPL-1.02283 41 1062

quary

Open-source BI for engineers

Language:RustApache-2.02220 13 45

tinkerpop

Apache TinkerPop - a graph computing framework

Language:JavaApache-2.01992 960

electric

Electric Clojure: full-stack differential dataflow for UI

Language:ClojureEPL-2.01861 49 44

datatype99

Algebraic data types for C99

Language:CMIT1382 14 15

donejs

Your app. Done.

Language:JavaScriptMIT1343 81 739

dropflow

A CSS layout engine

Language:TypeScriptMIT1275 11 21

jdd

A semantic JSON compare tool

Language:JavaScriptApache-2.01069 16 42

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:TypeScriptMIT771 5 2