An AI-powered chat system that allows users to communicate through a terminal interface. Uses ChatGPT's API by OpenAI.
☆19Mar 18, 2025Updated last year
Alternatives and similar repositories for chatgpt-terminal
Users that are interested in chatgpt-terminal are comparing it to the libraries listed below
Sorting:
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- a C-reference manual especially designed for Vim☆15Dec 8, 2015Updated 10 years ago
- A small Finder clone for System 6. Just as a fun retro programming project.☆11Jul 19, 2022Updated 3 years ago
- ZSH plugin who create file from template☆15Apr 24, 2020Updated 5 years ago
- A simple Java library for FRC to develop more complex programs with less code☆11Jan 8, 2023Updated 3 years ago
- A Decentralized Scouting Solution for the First Robotics Competition.☆12Jan 19, 2024Updated 2 years ago
- NES emulator on MIT Scratch, rewrite using metaprogramming☆10Jan 23, 2017Updated 9 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- An RPI CM3+ based smart camera for vision tracking☆10Sep 14, 2020Updated 5 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Minimal plugin for navigating markdown links.☆17Dec 25, 2024Updated last year
- Parse FIRST FRC driver station log files☆18Mar 19, 2020Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Apr 13, 2021Updated 4 years ago
- POC - Convert Logisim's diagram to Minecraft's redstone logic☆13Jul 20, 2019Updated 6 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 2 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- GPU model checker☆13Apr 17, 2019Updated 6 years ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- A robotics development framework☆11Apr 27, 2024Updated last year
- Love 2d based Tetris game☆13May 21, 2013Updated 12 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- MySQL Tools Service that provides MySQL Server data management capabilities.☆22Jun 11, 2024Updated last year
- Rebel Robotics Scouting App for FRC 2024: CRESCENDO!☆13Apr 1, 2024Updated last year
- A C++ software renderer implementing the OpenGL Core pipeline, with a spec-based API, GPU state machine, and programmable shader model.☆22Mar 12, 2026Updated last week
- GitHub Action for building and releasing Electron apps☆11Jan 15, 2024Updated 2 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- ☆16Aug 31, 2021Updated 4 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 6 months ago
- Simple terminal interface for chatgpt☆10Dec 6, 2022Updated 3 years ago
- A numerical integration routine that works for the natural logarithm of functions☆12Sep 4, 2024Updated last year
- OpenGL 4.3 / DirectX 11 3D Graphics Engine☆10May 25, 2021Updated 4 years ago
- python library for reverse engineered Adobe Firefly API☆13Mar 31, 2023Updated 2 years ago
- Interface for defining and solving SAT problems in Rust☆14Sep 1, 2016Updated 9 years ago
- Python Verilog-AMS Parser☆12Oct 13, 2015Updated 10 years ago