An open-source AI agent that brings the power of Gemini directly into your terminal.

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

Implementation of the λΠ-calculus modulo rewriting

mal - Make a Lisp

A Rust compiler front-end for IDEs

A proof assistant and a dependently-typed language

A React Rich Text Editor that's block-based (Notion style) and extensible. Built on top of Prosemirror and Tiptap.

Scala Circe Extension for JSON-LD

Minimal implementations for dependent type checking and elaboration

Web form editor framework powered by ProseMirror.

SHACL/ShEx implementation

Tonto is a DSL created to make it easier to work with Ontologies based on OntoUML

EGE RESTful web service. Provides EGE functionality through RESTful web service way.

Open-source developer content platform

A demo implementation of a simple dependently-typed language

effect system for rust

Schema and plugins for "first-class" math support in ProseMirror!

My slides and compilation of resources.

Typr Editor is a writing tool made with Tiptap / Prosemirror with ready-made user state management and publishing workflows.

Rust Lisp expression parser and serializer

Official deegree repository providing geospatial core libraries, data access and advanced OGC web service implementations

A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.

Programming Languages Zoo

Specifications created by the Hydra W3C Community Group