A proof assistant and a dependently-typed language

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

A high-performance algorithmic trading platform and event-driven backtester

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Factor programming language - GitHub mirror of official GIT repo

Source code for the Neo4j Graph Data Science library of graph algorithms.

LlamaIndex is the leading framework for building LLM-powered agents over your data.

Build Real-Time Knowledge Graphs for AI Agents

Graphs for Everyone

The Callisto compiler of the 13th month, and other language extras

A repository of Solana program examples

Emacs Lisp Static Analyzer and gradual type system.

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

Geophysical Inversion and Modeling Library 🌍

Scalable datastore for metrics, events, and real-time analytics

Simulation and Parameter Estimation in Geophysics - A python package for simulation and gradient based parameter estimation in the context of geophysical applications.

QuestDB is a high performance, open-source, time-series database

High-performance, scalable time-series database designed for Industrial IoT (IIoT) scenarios

A dynamic language and bytecode vm

AI Powered Knowledge Graph Generator

✨ The compiler and developer toolchain for Onyx

Forward modeling, inversion, and processing gravity and magnetic data

Apache HoraeDB (incubating) is a high-performance, distributed, cloud native time-series database.

A launch point for your personal nvim configuration

An emulation based tool for learning and debugging assembly.

The Lux Programming Language

Systems language with linear types and capability-based security.

NebulaGraph Web GUI Tools

Open source graph visualiser.