- Pittsburgh, PA
- https://aoli.al
Stars
- All languages
- ANTLR
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Cuda
- Dockerfile
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- Reason
- Ruby
- Rust
- SMT
- Scala
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- Zig
CSS is powerful, you can do a lot of things without JS.
A collection of resources on modern C++
A guide to smart contract security best practices
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
(DEPRECATED) This was the former default web application built on top of the Apache Fineract platform. It's now deprecated and replaced by the the Mifos X Web App (https://github.com/openMF/web-app…
🌈 Hide sticky headers and color the menu bar on Safari for Yosemite
ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.
a template to bootstrap C++ research projects