briangu / klongpyLinks
High-Performance Klong array language in Python.
☆311Updated last month
Alternatives and similar repositories for klongpy
Users that are interested in klongpy are comparing it to the libraries listed below
Sorting:
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- Sequential Logic☆114Updated 2 months ago
- A data and code editor that feels like a spreadsheet.☆182Updated last year
- Rewriting Principia Mathematica in Lean☆135Updated last month
- An ngn/k tutorial.☆207Updated last year
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆254Updated last year
- Modern declarative (React-like) Tcl/Tk interface for Python☆91Updated 6 months ago
- R.L. methods and techniques.☆199Updated 11 months ago
- the origins of J☆63Updated 2 years ago
- Autoregressive transformers in APL☆106Updated 2 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆61Updated last month
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- A simple pleasant build system in Python.☆368Updated last month
- A simple & elegant experiment tracking framework that integrates persistence logic & best practices directly into Python☆532Updated 9 months ago
- PostgreSQL Prolog language handler☆135Updated last year
- Automated, smooth, N'th order derivatives of non-uniformly sampled time series data☆228Updated last year
- Financial instrument definitions built with Python and Pydantic☆199Updated 8 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆208Updated last year
- Solving the first 100 Project Euler problems using 100 different programming languages!☆241Updated 5 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 8 months ago
- k/simple is a bare minimum k interpreter for learning purposes by arthur whitney☆438Updated 5 months ago
- C plus Prolog☆165Updated 8 months ago
- ☆68Updated 3 weeks ago
- ☆52Updated last year
- Stevan Apter-style trees in C++17☆374Updated last year
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆350Updated 3 weeks ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆106Updated last year
- ☆126Updated 5 months ago
- Real programming languages in 50 lines of code☆346Updated 11 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 8 months ago