Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Dafny
- Dockerfile
- Elixir
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- Metal
- OCaml
- Objective-C
- Odin
- OpenEdge ABL
- Perl
- Python
- R
- RPC
- Racket
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Standard ML
- SystemVerilog
- Tcl
- TeX
- Terra
- TypeScript
- VHDL
- Verilog
- Vim Script
- XSLT
- Zig
Cosmological N-body code with modified gravity theories
Seamless copy-and-paste of images with Poisson Blending.
This is a list of useful libraries and resources for CUDA development.
Profiling CUDA using Nsight Systems
A highly optimised C++ library for mathematical applications and neural networks.
A general implementation of Monte Carlo Localization (MCL) algorithms written in C++17, and a ROS package that can be used in ROS 1 and ROS 2.
Programmable JIT Compilation and Optimization for C/C++ using LLVM
libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
Interactively plots the convex conjugate of arbitrary functions
Randomized algorithm class at CU
Sequential and distributed AND/OR Branch and Bound for MPE (max-product) problems over graphical models like Bayes and Markov networks.
Lazy Predict help build a lot of basic models without much code and helps understand which models works better without any parameter tuning
Fast, general, and tested differentiable structured prediction in PyTorch
This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.
REalistic Fault INjEction using compiler-based instrumentation
In-memory key-value store for testing applications against weak behaviors of a database.
Extensible SQL Lexer and Parser for Rust