Lists (31)
Sort Name ascending (A-Z)
AI / Machine Learning
algorithms and data structures
Android
applications
CAD and geometry
compilers, linkers, assemblers
Computer Graphics
courses
cryptography
databases
Technology related to databasesdistributed / crdt
editors
Electronics
Embedded, MCUs and RTOS
FPGAs and HDLs
HPC
kakoune
learning
courses, lists and learning materiallibraries and frameworks
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Provingmusic
Operating Systems
kernels, SO and so onprogramming languages
reverse engineering
security
sgx
Simulation and Modeling
typesetting
UI
UNIX
linux/BSDs etcunix/linux
Stars
- All languages
- ANTLR
- ASL
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Elixir
- Emacs Lisp
- Forth
- GDScript
- Gnuplot
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KakouneScript
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- Modelica
- Nim
- Oberon
- Odin
- PHP
- Polar
- PostScript
- Python
- QML
- Racket
- ReScript
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Slash
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
Relax! Flux is the ML library that doesn't make you tensor
Bayesian inference with probabilistic programming.
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…
Physics-Informed Neural Networks (PINN) Solvers of (Partial) Differential Equations for Scientific Machine Learning (SciML) accelerated simulation
Pre-built implicit layer architectures with O(1) backprop, GPUs, and stiff+non-stiff DE solvers, demonstrating scientific machine learning (SciML) and physics-informed machine learning methods
Syntax highlighting and other enhancements for the Julia REPL
Distributed High-Performance Symbolic Regression in Julia
A Control Systems Toolbox for Julia
Symbolic expressions, rewriting and simplification
Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.
Probabilistic programming via source rewriting
Build Qt6 QML interfaces for Julia programs.
Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
Filter design, periodograms, window functions, and other digital signal processing functionality
"Distributions" that might not add to one.
Surrogate modeling and optimization for scientific machine learning (SciML)
A Julia package to perform Bifurcation Analysis
Modeling and simulation of multidomain engineering systems
Julia implementation of various rigid body dynamics and kinematics algorithms
Julia for optimization simulation and modeling of PowerSystems. Part of the Scalable Integrated Infrastructure Planning Initiative at the National Renewable Energy Lab.
Propagation of distributions by Monte-Carlo sampling: Real number types with uncertainty represented by samples.
A differential eDSL that can run faster than light and go back to the past.
Implementation of domain-specific language (DSL) for dynamic probabilistic programming