-
08:01
(UTC -05:00) - joe1994.github.io
- in/youngsuk-kim-b1a8b215b
- All languages
- ANTLR
- Assembly
- C
- C#
- C++
- CSS
- Chapel
- Coq
- Cuda
- Cython
- D
- Dockerfile
- Elixir
- F*
- Fortran
- GDScript
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- MLIR
- Makefile
- Markdown
- Mojo
- Nim
- OCaml
- OpenQASM
- PHP
- Prolog
- Python
- R
- Ruby
- Rust
- SCSS
- SMT
- Shell
- Solidity
- TeX
- TypeScript
- V
- Vim Script
- Zig
Starred repositories
Ghidra is a software reverse engineering (SRE) framework
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
A collection of algorithms and data structures
Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presente…
Automated testing to find logic and performance bugs in database systems
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
Example Test Cases for Stanford's Algorithms Coursera Specialization
System for synthesizing Java API idioms, powered by Neural Sketch Learning
Embed build status of Jenkins jobs in web pages
Java (convolutional or fully-connected) neural network implementation with plugin for Weka. Uses dropout and rectified linear units.
A points-to and alias analysis benchmark suite