Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- APL
- ATS
- ActionScript
- Adblock Filter List
- Agda
- Alloy
- Assembly
- Batchfile
- Boogie
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Futhark
- Go
- HCL
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Macaulay2
- Makefile
- Mako
- Markdown
- Mathematica
- Max
- Modelica
- Nim
- Nix
- OCaml
- Objective-C
- OpenEdge ABL
- OpenQASM
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Python
- Q#
- QML
- R
- Racket
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sail
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- WebAssembly
- ZenScript
- Zig
Starred repositories
Base library providing vectorization-tools (ie, SIMD) that other libraries are built off of.
wasmerio / py2wasm
Forked from Nuitka/NuitkaNuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4, 3.5, 3.6, 3.7, 3.8, 3.9, 3.10, and 3.11. You feed it your Python app, it does a lot of clever things,…
alphafold3 architecture step by step walkthrough.
Data Structures for Optimization Models
Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…
The Constrained and Unconstrained Testing Environment with safe threads (CUTEst) for optimization software
Contributor's Guide on Collaborative Practices for Community Packages
Scientific machine learning (SciML) benchmarks, AI for science, and (differential) equation solvers. Covers Julia, Python (PyTorch, Jax), MATLAB, R
The SciML Scientific Machine Learning Software Organization Website
Classic 1.6.4 version of ICBM remastered for newer MC versions
Disjoint SMT enumeration without introducing blocking clauses
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
A Maximum Independent Set (MIS) solver library using Quantum Computing
A finite element package powered by Gmsh written in Julia
Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information
Directory/File, DNS and VHost busting tool written in Go
A Simulation in C++ of Joseph Weizenbaum’s 1966 ELIZA
An application for university departments to facilitate the process of matching undergraduates to research positions.
A testing ground for quantum computing compilation ideas in xdsl