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
- Liquid
- MATLAB
- MDX
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Nim
- Nix
- OCaml
- OpenQASM
- PHP
- Perl
- PostScript
- PowerShell
- Pug
- Python
- Q#
- R
- Raku
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Swift
- SystemVerilog
- TeX
- TypeScript
- V
- Verilog
- XSLT
- Zig
Open source DocuSign alternative. Create, fill, and sign digital documents ✍️
The compiler is available for download. Get it!
The 2024 edition of The Nature of Code with p5.js. Includes Notion workflow and 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 is optimized for caching and other realtime 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
Content of Online Encyclopedia of Integer Sequences (OEIS)
Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale 🐻