Stars
Naive implementation of this: https://arxiv.org/abs/2407.04620v1
Library of parts modelled in OpenSCAD and a framework for making projects
OpenSCAD - The Programmers Solid 3D CAD Modeller
The Belfry OpenScad Library, v2.0. An OpenSCAD library of shapes, masks, and manipulators to make working with OpenSCAD easier. BETA
Like ARC, but code to generate visual puzzles. 1D puzzles first.
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Adding neurallambda to RWKV-infctx-trainer
generate synthetic data for training finite state machines/pushdown automata/turing machines
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
RWKV infctx trainer, for training arbitary context sizes, to 10k and beyond!
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
[ICML'24] Magicoder: Empowering Code Generation with OSS-Instruct
Official inference library for Mistral models
Finetune Llama 3.2, Mistral, Phi & Gemma LLMs 2-5x faster with 80% less memory
Comedify is a Next.js application equipped with a conversational AI chatbot named ComicBot and a jokes/bits library.
A demonstration connecting Fortran (and C) code to Haskell, and to HMatrix.
Coeur D'Alene Machine Learners
Instantiate the classes from the vector-space package with the types from linear
Purely-functional, coordinate-free linear algebra
Category theory concepts in type classes and instances.
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Ideas for the next generation of Haskell's Arrow notation
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Functional Reactive Programming domain-specific language for efficient hybrid systems
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions