Alternatives and similar repositories for a1gpt

Users that are interested in a1gpt are comparing it to the libraries listed below

• SidU / MathBlackBox

  View on GitHub
  ☆11Jul 21, 2024Updated last year
• a1k0n / balancebot

  View on GitHub
  little balancing robot
  ☆11Aug 1, 2019Updated 6 years ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• Bas-Man / rust-decon-spf

  View on GitHub
  A Rust library to deconstruct DNS SPF records
  ☆17May 8, 2025Updated 9 months ago
• lipeng28 / Gklee

  View on GitHub
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆16Dec 12, 2014Updated 11 years ago
• lambdaconcept / amaranth-to-litex

  View on GitHub
  Use amaranth-to-litex to simply import Amaranth code into a Litex project.
  ☆15Apr 22, 2024Updated last year
• emanuelef / awesome-rust-repo-stats

  View on GitHub
  Explore Daily Updated Statistics for Repositories in the 'awesome-rust' List
  ☆15Updated this week
• thomasahle / arithmetic-transformer

  View on GitHub
  Teaching Addition to Small Transformers
  ☆17Nov 28, 2023Updated 2 years ago
• melver / mc2lib

  View on GitHub
  Memory consistency model checking and test generation library.
  ☆16Oct 14, 2016Updated 9 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  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
• UmerHA / triton_util

  View on GitHub
  Make triton easier
  ☆50Jun 12, 2024Updated last year
• codr7 / alang

  View on GitHub
  A minimal viable programming language on top of liblgpp
  ☆78Jan 5, 2021Updated 5 years ago
• mlecauchois / micrograd-cuda

  View on GitHub
  ☆251Mar 20, 2024Updated last year
• trevorpogue / algebraic-nnhw

  View on GitHub
  Algebraic enhancements for GEMM & AI accelerators
  ☆287Feb 28, 2025Updated 11 months ago
• casidiablo / hippo-critical

  View on GitHub
  Automating work sessions recording + YouTube publishing
  ☆24Jun 3, 2020Updated 5 years ago
• regymm / muzy

  View on GitHub
  2-layer and 4-layer FPGA development board with ZYNQ 7010/7020 400-pin BGA.
  ☆20Jan 6, 2026Updated last month
• ksaj / helloworld

  View on GitHub
  Hello World using 6 different methods in Assembly Language for Raspberry Pi
  ☆21Jul 30, 2023Updated 2 years ago
• abenkhadra / gosat

  View on GitHub
  SMT solver for the theory of floating-point arithmetic
  ☆25Jan 30, 2018Updated 8 years ago
• paradise-fi / divine

  View on GitHub
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Mar 21, 2021Updated 4 years ago
• robjinman / richard

  View on GitHub
  Richard is gaining power
  ☆200Jun 21, 2025Updated 7 months ago
• riswords / quiche

  View on GitHub
  ☆24Feb 26, 2023Updated 2 years ago
• mkirchner / hamt

  View on GitHub
  A hash array-mapped trie implementation in C
  ☆328Feb 10, 2024Updated 2 years ago
• gryan11 / cln2inv

  View on GitHub
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Jun 8, 2020Updated 5 years ago
• Childcity / ASTree

  View on GitHub
  Abstract syntax tree (AST), or just syntax tree. C++ realization
  ☆18Jun 13, 2019Updated 6 years ago
• axodox / axodox-machinelearning

  View on GitHub
  This repository contains a pure C++ ONNX implementation of multiple offline AI models, such as StableDiffusion (1.5 and XL), ControlNet, …
  ☆629May 29, 2025Updated 8 months ago
• meriac / OpenXC7-LiteX

  View on GitHub
  Container for compiling LiteX HDL FPGA designs using the free OpenXC7 tool chain and GitHub code spaces
  ☆27Dec 9, 2023Updated 2 years ago
• karpathy / llama2.c

  View on GitHub
  Inference Llama 2 in one file of pure C
  ☆19,162Aug 6, 2024Updated last year
• KienTTran / ABMGPU

  View on GitHub
  Agent Based Model on GPU using CUDA 12.2.1 and OpenGL 4.5 (CUDA OpenGL interop) on Windows/Linux
  ☆75Jan 15, 2026Updated last month
• maxilevi / raytracer

  View on GitHub
  C++ raytracer that supports custom models. Supports running the calculations on the CPU using C++11 threads or in the GPU via CUDA.
  ☆74Dec 24, 2022Updated 3 years ago
• vithursant / nanoGPT_mlx

  View on GitHub
  Port of Andrej Karpathy's nanoGPT to Apple MLX framework.
  ☆117Feb 12, 2024Updated 2 years ago
• ericyuegu / hal

  View on GitHub
  Training AI for Super Smash Bros. Melee
  ☆32Mar 27, 2025Updated 10 months ago
• Sophietje / Verification-Tool-Overview

  View on GitHub
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆31Dec 9, 2023Updated 2 years ago
• chapmanjacobd / hn_mining

  View on GitHub
  hackernews data
  ☆33Dec 14, 2025Updated 2 months ago
• will62794 / tlaplus_repl

  View on GitHub
  A simple REPL for TLA+.
  ☆40Mar 15, 2024Updated last year
• linjames0 / Transformer-CUDA

  View on GitHub
  An implementation of the transformer architecture onto an Nvidia CUDA kernel
  ☆201Sep 24, 2023Updated 2 years ago
• jcrist / ptime

  View on GitHub
  IPython magic for parallel profiling (like `%time`, but parallel)
  ☆72Jul 17, 2017Updated 8 years ago
• joennlae / halutmatmul

  View on GitHub
  Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator
  ☆215Dec 10, 2023Updated 2 years ago
• jostmey / NakedAttention

  View on GitHub
  Revealing example of self-attention, the building block of transformer AI models
  ☆131Apr 30, 2023Updated 2 years ago
• Maknee / minigpt4.cpp

  View on GitHub
  Port of MiniGPT4 in C++ (4bit, 5bit, 6bit, 8bit, 16bit CPU inference with GGML)
  ☆569Aug 8, 2023Updated 2 years ago