Popular repositories Loading
-
-
xgrammar
xgrammar PublicForked from mlc-ai/xgrammar
Fast, Flexible and Portable Structured Generation
C++
-
sbv
sbv PublicForked from LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Haskell
-
what4
what4 PublicForked from GaloisInc/what4
Symbolic formula representation and solver interaction library
Haskell
-
-
Repositories
- trl Public Forked from huggingface/trl
Train transformer language models with reinforcement learning.
- clash-compiler Public Forked from clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
- CatColab Public Forked from ToposInstitute/CatColab
A collaborative environment for formal, interoperable, conceptual modeling
- gepa Public Forked from gepa-ai/gepa
Optimize prompts, code, and more with AI-powered Reflective Optimization
- flash-linear-attention Public Forked from fla-org/flash-linear-attention
🚀 Efficient implementations for emerging model architectures
- cuEquivariance Public Forked from NVIDIA/cuEquivariance
cuEquivariance is a math library that is a collective of low-level primitives and tensor ops to accelerate widely-used models, like DiffDock, MACE, Allegro and NEQUIP, based on equivariant neural networks. Also includes kernels for accelerated structure prediction.
- distilabel Public Forked from argilla-io/distilabel
Distilabel is a framework for synthetic data and AI feedback for engineers who need fast, reliable and scalable pipelines based on verified research papers.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…