![ai logo](https://raw.githubusercontent.com/github/explore/558a9d7bbfd1683934210d9500c1e0c8b8c50f77/topics/ai/ai.png)
Block or Report
Block or report 173duprot
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
QuakeSpasm -- A modern, cross-platform Quake game engine based on FitzQuake.
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A massively parallel, high-level programming language
Next version of neatvi (a small vi/ex editor) for editing bidirectional UTF-8 text
Scalable graph analytics database powered by a multithreaded, vectorized temporal engine, written in Rust
HigherOrderCO / Kind-Legacy
Forked from HigherOrderCO/Kind1A modern proof language
Penpot: The open-source design tool for design and code collaboration
Free, simple, and intuitive online database design tool and SQL generator.
Minimalistic Obsidian Theme for keyboard-centric users.
An experimental, kakoune-inspired CLI-centric text/code editor with |-shaped cursor (in Rust)
Write Markdown with code assist and intelligence in the comfort of your favourite editor.
Homebrew formulae to build Zathura on Mac OS X
C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.
This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc
A Zotero plugin to export item metadata and notes as markdown files