Claraverse is a opesource privacy focused ecosystem to replace ChatGPT, Claude, N8N, ImageGen with your own hosted llm, keys and compute. With desktop, IOS, Android Apps.

Pocket Flow: 100-line LLM framework. Let Agents build Agents!

Preparatory work for the publication of polling place shapes as open data.

👔 Lightweight JSON Resume builder, no-frills alternative to resume-cli

A minimalistic wiki powered by python, markdown and git.

A formalization of synthetic differential geometry in Coq using infinitesimal analysis

The official OCaml website.

Cassidy’s playground for GNOME experiments

🖋️ Highly extensible journaling system for Neovim

Svelte component for rendering the TradingView Advanced Real-Time Chart Widget

Sign In With Tezos: Access Control Management SDK

OCaml bindings for the Neovim API

Sign In With Tezos: Access Control Management using Tezos NFTs

Octane is a gasless transaction relayer for Solana.

A cross-platform library for building Gemini servers

svelte-tezos is a library providing a store with multiple helper functions to ease the connection between svelte and the tezos @taquito/taquito library.

a lightweight SvelteKit app that uses the svelte-tezos library to interact with the Tezos blockchain.

Structured Outputs

Solana perpetuals reference implementation

Algebraic data types for Python (experimental, not actively maintained)

A content-addressable datastore for WebAssembly modules

A Simple open NFT Marketplace where anyone can mint and collect NFTs on Tezos Blockchain.

A book about compiling Racket and Python to x86-64 assembly

TzSafe's multisig wallet LIGO Contracts

TzSafe-UI frontend — to interact with multi-signatures wallets.

Contract Metadata Viewer on Tezos

Open-source lending protocol built on top of Tezos blockchain

Formal verification for OCaml, with Rocq

A simple test framework for Ligo Lang