Stars
Next-gen language engineering / DSL framework
A playbook for systematically maximizing the performance of deep learning models.
💡 Learnergy is a Python library for energy-based machine learning models.
egg is a flexible, high-performance e-graph library
Lean theorem proving interface which feels like pen-and-paper proofs.
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
Symbolic programming for the next generation of numerical software
Symbolic expressions, rewriting and simplification
An analysis tool for Python that blurs the line between testing and type systems.
Small exercises to get you used to reading and writing C++ code!
Nonlinear optimisation (root-finding, least squares, ...) in JAX+Equinox. https://docs.kidger.site/optimistix/
This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small langua…
Tile primitives for speedy kernels
Beautiful and accessible math in all browsers
Design and analyze optimal deep learning models.
A JAX research toolkit for building, editing, and visualizing neural networks.
Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Quill is a modern WYSIWYG editor built for compatibility and extensibility
The web framework for content-driven websites. ⭐️ Star to support our work!
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
tree is a library for working with nested data structures
The long missing library for python confidence intervals
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Apache Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.
Third-person Survival Game for Unreal Engine (Sample Project)
C++ Action Roguelike in Unreal Engine 5.