-
University of Massachusetts Amherst
- Amherst, MA
-
10:38
(UTC -05:00) - https://orcid.org/0000-0001-6667-1403
Lists (12)
Sort Name ascending (A-Z)
- All languages
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cuda
- Emacs Lisp
- F*
- Fortran
- GAP
- Gnuplot
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Less
- M
- MATLAB
- MLIR
- Macaulay2
- Makefile
- Mathematica
- Nim
- Nix
- OCaml
- OpenQASM
- PHP
- Perl
- Python
- QuakeC
- R
- Raku
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Shell
- Standard ML
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- Verilog
- Wolfram Language
- Zig
Starred repositories
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
No fortress, purely open ground. OpenManus is Coming.
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Label Studio is a multi-type data labeling and annotation tool with standardized output format
Warp is the agentic development environment, built for coding with multiple AI agents.
A Git-compatible VCS that is both simple and powerful
SGLang is a high-performance serving framework for large language models and multimodal models.
Development repository for the Triton language and compiler
An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
Mirror of https://gitlab.redox-os.org/redox-os/redox
A beautiful, simple, clean, and responsive Jekyll theme for academics
A computer algebra system written in pure Python
Minimal reproduction of DeepSeek R1-Zero
Running large language models on a single GPU for throughput-oriented scenarios.
Lean 4 programming language and theorem prover