Stars
MagNav: airborne Magnetic anomaly Navigation
Julia 6502 development tools including a pure-Julia 6502 emulator
The weaving paper strips: shape optimization by geometric elasticity
For when people get too hyped up about things
An adaptive optimizer for speeding up dynamic dispatch in Julia
Reactive, "soft real-time" programming tools for Julia.
DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as testing.
A simple static type checker that enforces C-style programming in Julia
Julia bindings and visualiser for the MuJoCo physics engine.
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Simple development server with live-reload capability for Julia.
A set of tools for machine code analyzing of Julia code
Pure Julia implementation of pika parser.
Collection of builder repositories for BinaryBuilder.jl
A package for simple property based testing in julia.
It's editing-time, do you know where your methods are?
🛡️ A private certificate authority (X.509 & SSH) & ACME server for secure automated certificate management, so you can use TLS everywhere & SSO for SSH.
Brainfuck-to-Julia embedded parse-time transpiler
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.