Stars
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cuda
- Cython
- D
- Dockerfile
- Elixir
- F#
- F*
- Fortran
- GAP
- GLSL
- Gherkin
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- MATLAB
- MDX
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Nim
- Nix
- OCaml
- OpenQASM
- PHP
- Perl
- PostScript
- PowerShell
- Pug
- Python
- Q#
- R
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Swift
- SystemVerilog
- TeX
- Terra
- TypeScript
- V
- Verilog
- XSLT
- Zig
Nature of Code with p5.js and Notion workflow / build system.
Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe
A header-only C++ library for numerical optimization --
OptimLib: a lightweight C++ library of numerical optimization methods for nonlinear functions
Hypergraph Neural Network-Based Combinatorial Optimization
A Python wrapper for the DASSL, DASPK, and DASKR differential algebraic system solvers
Scalable training and inference for Probabilistic Circuits
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Improved sampling via learned diffusions (ICLR2024) and an optimal control perspective on diffusion-based generative modeling (TMLR2024)
A JAX research toolkit for building, editing, and visualizing neural networks.
An intuitive LLM prompting framework for multifunctional agents, by explicitly constructing a complex "thought process" from simple natural language prompts.
Fast and modular sklearn replacement for generalized linear models
Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.
A flexible distributed key-value datastore that supports both caching and beyond caching workloads.
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594
Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale 🐻
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
FiPy is a Finite Volume PDE solver written in Python
Machine Learning Engineering Open Book