A lorem ipsum genator for haskell

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

Agola: CI/CD Redefined

🎥✨ A TikTok live streaming recorder tool written in Python. Capture and relive your favorite TikTok moments effortlessly. 🎥✨

Parser for Emacs org-mode files

A privacy-first, open-source platform for knowledge management and collaboration. Download link: https://github.com/logseq/logseq/releases. roadmap: https://trello.com/b/8txSM12G/roadmap

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

official code repo for paper "CogView2: Faster and Better Text-to-Image Generation via Hierarchical Transformers"

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

The server side component (controller) for Multi-Target Application (MTA) for Cloud Foundry

Create local emacs package repository. 15 seconds to install 115 packages.

Dolt – Git for Data

One second to read GitHub code with VS Code.

Scala testing library with actionable errors and extensible APIs

Next Level MTL for Scala

A language for intent-centric and declarative decentralised applications

Dynamically provision Stateful Persistent Replicated Cluster-wide Fabric Volumes & Filesystems for Kubernetes that is provisioned from an optimized NVME SPDK backend data storage stack.

Mcrouter is a memcached protocol router for scaling memcached deployments.

Multi platform setup for Coq, Coq libraries and tools

JCoz -- A Java causal profiler

Production-ready setup for starting with serverless Scala on AWS Lambda using AWS CDK for deployment

Helm UI for Projectile

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

Pure basic library based on math abstractions

Programmable GAE-hosted RSS extractor

HTML to RSS feed proxy

Sample site for the Rib static site generator