Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"

🌸 A command-line fuzzy finder

Empower the Web community and invite more to build across platforms.

Agda is a dependently typed programming language / interactive theorem prover.

High-level interface for low-level programming

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.

The Z3 Theorem Prover

Noise suppressor nodes for Web Audio API.

Wasm Port of Recurrent neural network for audio noise reduction. Based on xiph/rnnoise C++ project

Lean 4 programming language and theorem prover

An open-source cross-platform alternative to AirDrop

A presentation tool written in J

A modern, end-to-end genetic circuit design desktop app

Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Exercises for the book Artificial Intelligence: A Modern Approach

⚡️ Moldable Live Programming for Clojure

A feature-rich command-line audio/video downloader

The native Clojure dialect hosted on LLVM

A friendly programming language from the future

🗄️ Solutions to Database System Concepts Seventh Edition

Slog 1.0

Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming

An open-source, self-hosted personal AI note tool prioritizing privacy, built using TypeScript .

RelaX - a relational algebra calculator

Note taking diary with Lisp in major mode

Autoregressive transformers in APL

Source code for the 10th edition of Operating System Concepts

A library for interacting with Windows through SMB written in Nim.