Stars
KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge ba…
Python programs, usually short, of considerable difficulty, to perfect particular skills.
Auxiliary Common Lisp Utilities for Generative Art
🤖 Meet c3po.el, the Emacs droid you’ve been looking for! This package will take your workflow to a galaxy far, far away. 🌟 C3PO.el is an Emacs package for interacting with the ChatGPT API. May the …
Little package to optimize project management with Asana.
An Emacs framework for the stubborn martian hacker
An open-source, mini imitation of GitHub Copilot for Emacs.
Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21
An intuitive way to edit Lisp symbolic expressions ("symexes") structurally in Emacs
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
Automatic RoamResearch backup to Git
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
Docker image with GHC+musl for static executables
Discrete differential geometry on simplicial complexes
Analysis of linear systems using admittance models
A Tables.jl compatible table viewer based on ag-grid
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
Julia package for working with (potentially large) columns of data.
Curated list of open-source quantum software projects.
Symbolic parser for Julia language term rewriting using REDUCE algebra
Tensor algebra abstract type interoperability setup
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra