functionistic's Stars
asperti/BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
kquick/Thespian
Python Actor concurrency library
meta-llama/llama3
The official Meta Llama 3 GitHub site
gramaziokohler/roslibpy
Python ROS Bridge library
pytoolz/cytoolz
Cython implementation of Toolz: High performance functional utilities
spectreconsole/spectre.console
A .NET library that makes it easier to create beautiful console applications.
Kiriki-liszt/Sky_Blue_EQ4
Sky Blue EQ4 is maag-like tone shaping eq.
json-c/json-c
https://github.com/json-c/json-c is the official code repository for json-c. See the wiki for release tarballs for download. API docs at http://json-c.github.io/json-c/
aws/jsii
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
pypa/pipx
Install and Run Python Applications in Isolated Environments
mitchellh/mapstructure
Go library for decoding generic map values into native Go structures and vice versa.
HigherOrderCO/kind
Temporary repository for Kind2's refactor based on HVM2
inhabitedtype/angstrom
Parser combinators built for speed and memory efficiency
apple/pkl
A configuration as code language with rich validation and tooling.
dhall-lang/dhall-haskell
Maintainable configuration files
mrkkrp/megaparsec
Industrial-strength monadic parser combinator library
karpathy/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
dabochen/spreadsheet-is-all-you-need
A nanoGPT pipeline packed in a spreadsheet
ange-yaghi/engine-sim
Combustion engine simulator that generates realistic audio.
kyegomez/RoboCAT
Implementation of Deepmind's RoboCat: "Self-Improving Foundation Agent for Robotic Manipulation" An next generation robot LLM
HigherOrderCO/Bend
A massively parallel, high-level programming language
HigherOrderCO/hvm-64
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Rich-Harris/degit
Straightforward project scaffolding
ivanperez-keera/dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
juliangarnier/anime
JavaScript animation engine
reflex-dev/reflex
🕸️ Web apps in pure Python 🐍
grain-lang/grain
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
marimo-team/marimo
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
miguelgrinberg/python-socketio
Python Socket.IO server and client