Pinned Repositories
program-analysis-using-constraints-stephen-ian
program-analysis-using-constraints-stephen-ian created by GitHub Classroom
OnTheHouse
bcl-qc
Tools to demux BCLs and QC/QA
checker
Example typechecker from TAPL
Cthulhu.jl
The slow descent into madness
DifferentialEquations.jl
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components
EscapeAnalysis.jl
analyze escape information in Julia IR
julia
The Julia Programming Language
minic
Optimizing compiler from a C subset to LLVM IR or ARM
vchez
Proof of correctness of the "np-convert-assignments" pass of the Chez Scheme compiler
ianatol's Repositories
ianatol/vchez
Proof of correctness of the "np-convert-assignments" pass of the Chez Scheme compiler
ianatol/minic
Optimizing compiler from a C subset to LLVM IR or ARM
ianatol/bcl-qc
Tools to demux BCLs and QC/QA
ianatol/checker
Example typechecker from TAPL
ianatol/Cthulhu.jl
The slow descent into madness
ianatol/DifferentialEquations.jl
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components
ianatol/EscapeAnalysis.jl
analyze escape information in Julia IR
ianatol/julia
The Julia Programming Language
ianatol/IRTools.jl
Mike's Little Intermediate Representation
ianatol/JET.jl
An experimental code analyzer for Julia, no need for additional type annotations.
ianatol/JuliaInterpreter.jl
Interpreter for Julia code
ianatol/openmrs-book-developer-manual
OpenMRS Developers Manual
ianatol/Pkg.jl
Pkg - Package manager for the Julia programming language
ianatol/Revise.jl
Automatically update function definitions in a running Julia session
ianatol/SnoopCompile.jl
Making packages work faster with more extensive precompilation
ianatol/TypedTables.jl
Simple, fast, column-based storage for data analysis in Julia
ianatol/www.julialang.org
Julia Project website
ianatol/Zygote.jl
21st century AD