Skip to content
View usaccounts's full-sized avatar

Block or report usaccounts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Compiler for the Vale programming language - http://vale.dev/

Scala 1,844 54 Updated May 14, 2024

Implementation of higher-order logic in Python

SMT 64 6 Updated Feb 25, 2023

🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading

Python 9,457 537 Updated Sep 7, 2024

CodexDB generates code for SQL query processing via OpenAI's GPT-3 Codex model.

Python 101 18 Updated Nov 24, 2024

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Python 140,175 28,109 Updated Feb 25, 2025

Train transformer language models with reinforcement learning.

Python 11,988 1,617 Updated Feb 25, 2025

Port of OpenAI's Whisper model in C/C++

C++ 38,031 3,948 Updated Feb 25, 2025

This repo is unofficial ChatGPT api. It is based on Daniel Gross's WhatsApp GPT

Python 148 29 Updated Jan 5, 2023

Write expressive, high-performance parsers with ease.

Rust 3,807 164 Updated Feb 14, 2025

A primitive computer algebra system

Rust 576 12 Updated Apr 29, 2023

Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS

Python 18,040 3,093 Updated Feb 25, 2025

Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.

C++ 748 237 Updated Jan 21, 2025

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 290,199 48,260 Updated Dec 2, 2024

Platform to build admin panels, internal tools, and dashboards. Integrates with 25+ databases and any API.

TypeScript 35,767 3,880 Updated Feb 26, 2025

Generative art in Common Lisp

Common Lisp 1,565 61 Updated Apr 28, 2023

JavaScript Data Grid / Data Table with a Spreadsheet Look & Feel. Works with React, Angular, and Vue. Supported by the Handsontable team ⚡

JavaScript 20,437 3,090 Updated Feb 25, 2025

The best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.

TypeScript 13,480 1,928 Updated Feb 25, 2025

The project has been migrated to @wolf-table/table https://github.com/wolf-table/table

JavaScript 14,314 1,737 Updated Aug 7, 2024

Luckysheet is an online spreadsheet like excel that is powerful, simple to configure, and completely open source.

JavaScript 16,138 2,445 Updated Mar 28, 2024

A Programmable Core Ledger

Go 922 107 Updated Feb 25, 2025

Pedagogical first-order prover in Java

Java 1 1 Updated Dec 15, 2019

Sigma Knowledge Engineering Environment

Java 104 35 Updated Feb 25, 2025

Automated Theorem Prover for Automatic Words

Java 21 8 Updated Apr 7, 2021

a symbolic math expression evaluator for javascript

JavaScript 519 84 Updated Apr 18, 2023

A javascript interpreter written in javascript

TypeScript 389 54 Updated Feb 4, 2025

A sandboxed JavaScript interpreter in JavaScript.

JavaScript 2,050 357 Updated Feb 20, 2025

A small, fast, JavaScript-based JavaScript parser

JavaScript 10,797 905 Updated Jan 26, 2025

Automated theorem prover for first-order predicate logic written in TypeScript

TypeScript 27 2 Updated Jan 4, 2023

Javascript visualization of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

JavaScript 549 221 Updated Aug 20, 2019

Haskell bindings to SymEngine

Haskell 25 13 Updated Aug 17, 2023
Next