🍭Quickly ask questions using chatgpt in the terminal.
☆16Aug 1, 2024Updated 2 years ago
Alternatives and similar repositories for terminal-bot
Users that are interested in terminal-bot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆17May 7, 2019Updated 7 years ago
- ComfyUI sampler for HyperSDXL UNet☆11Jun 20, 2024Updated 2 years ago
- 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
- IC-Light-ComfyUI-Node☆10Jul 2, 2024Updated 2 years ago
- riscv32i-cpu☆18Nov 20, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- In this project we are comparing various regression models to find which model works better for predicting the AQI (Air Quality Index).☆22Feb 14, 2024Updated 2 years ago
- 音频响度统一，音量归一化处理☆13May 3, 2024Updated 2 years ago
- ☆11Feb 22, 2024Updated 2 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆32Jul 12, 2024Updated 2 years ago
- ☆17Aug 31, 2024Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Rui个人使用节点。☆19Aug 19, 2026Updated 2 months ago
- 这个项目是数据预处理。第一步是对获取到的音频做处理，结合Funasr的时间戳去掉空背景音。也包含了喂给BERT前的label☆15May 27, 2025Updated last year
- ☆24May 22, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Wav2Lip model Windows GUI Program using PyQT5☆19Jun 4, 2021Updated 5 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- My Blog☆18Oct 17, 2026Updated last week
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- Documentation for Bert-VITS2☆21Nov 29, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 通过HTML模版的样式，生成游戏卡牌的插件，这仅仅是一个方案可行性的测试流程☆27Jun 14, 2024Updated 2 years ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated last year
- ☆21Feb 13, 2025Updated last year
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- Play with LLaMA & GPT-3!☆10May 29, 2023Updated 3 years ago
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- A Preprocessor for Verilog HDL written in C++☆11May 26, 2012Updated 14 years ago
- Lifting ControlNet for Generalized Depth Conditioning☆27Dec 28, 2023Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Introduction Note: This edition of the book is the same as The Rust Programming Language available in print and ebook format from No…☆13Oct 30, 2019Updated 6 years ago