thephoeron

thephoeron's Stars

• gpt-engineer-org/gpt-engineer

  Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

  Language:Python52.5k5164826.8k

• duckdb/duckdb

  DuckDB is an analytical in-process SQL database management system

  Language:C++24.6k2055.2k1.9k

• yandex/gixy

  Nginx configuration static analyzer

  Language:Python8.3k15478395

• openlm-research/open_llama

  OpenLLaMA, a permissively licensed open source reproduction of Meta AI’s LLaMA 7B trained on the RedPajama dataset

  7.4k12291379

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.5k111509178

• sbcl/sbcl

  Mirror of Steel Bank Common Lisp (SBCL)'s official repository

  Language:Common Lisp1.9k1210322

• Starfield-Community-Patch/Starfield-Community-Patch

  The Community Patch project for Starfield.

  Language:Papyrus193111.2k19

• fukamachi/rove

  #1=(yet another . #1#) common lisp testing library

  Language:Common Lisp153133320

• akissinger/chyp

  An interactive theorem prover for string diagrams

  Language:Python108625

• uwplse/PUMPKIN-PATCH

  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

  Language:OCaml5110632

• uwplse/pumpkin-pi

  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

  Language:Coq4911579

• CQCL/quantinuum-hardware-quantum-volume

  Repository for sharing Quantinuum's Quantum Volume data

  Language:Jupyter Notebook34202

• g000001/Starlisp-simulator

  *Lisp simulator

  Language:Common Lisp28313

• aartaka/graven-image

  Portability library for better interaction and debugging of a running Common Lisp image through text REPL.

  Language:Common Lisp194293

• g000001/Uranus

  Uranus Interpreter for ANSI Common Lisp

  Language:Common Lisp11202

• bugthesda/Fallout76-Issue-Tracker

  Community Issue Tracker for Fallout 76 by BGS

  96321

• g000001/source-compare

  Source Compare: A 'diff' Program for Lisp

  Language:Common Lisp8300

• Shinmera/memory-regions

  This library implements the concept of a "memory region" along with several useful tools to deal with them

  Language:Common Lisp830

• g000001/CommonORBIT

  CORBIT: Object-oriented extension of Common Lisp based on a prototype (classless) model of OOP.

  Language:Common Lisp720

• g000001/closette

  Language:Common Lisp6201

• g000001/ai.lang.lisp.code.parsing.time

  PARSE-TIME: Parsing routines for time and date strings.

  Language:Common Lisp520

• g000001/ai.lang.lisp.code.tools.xref

  List Callers: A Static Analysis Cross Referencing Tool for Lisp

  Language:Common Lisp4201

• g000001/ai.lang.lisp.code.iter.series

  November, 26 1991 version of Richard C. Waters' Series macro package

  Language:Common Lisp320

• g000001/artificial-flavors

  A straightforward partial implementation of Symbolics New Flavors in PCL.

  Language:Common Lisp320

• g000001/lint

  https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/tools/lint/0.html

  Language:Common Lisp320

• g000001/ai.lang.lisp.code.ext.library

  Library of miscellaneous small extensions to Common Lisp

  Language:Common Lisp220

• g000001/ai.lang.lisp.code.ext.tables

  The DEFTABLE macro provides a concise, lightweight notation for defining tables: things you can put key/value pairs into, and retrieve the value from the key

  Language:Common Lisp220

• g000001/ai.lang.lisp.code.ext.types

  Language:Common Lisp220

• g000001/mcs

  MCS: Meta Class System, a portable object-oriented extension to Common Lisp.

  Language:Common Lisp220

• g000001/telos

  Language:Common Lisp220