Cambridge, MA

Keno Fischer

Elite
@Keno

julia-wasm. Running julia on wasm

343

SIUnits.jl. Efficient unit-checked computation

71

InterfaceSpecs.jl. Playground for formal specifications of interfaces in Julia

59

TerminalExtensions.jl. A package that makes Julia take advantage of cool terminal emulator features.

42

bmcnonsense. Playing with firmware

31

Compiler3.jl. Staging package for new compiler interfaces

28

TerminalUI.jl. Who needs a GUI if you have a terminal?

21

ASTInterpreter.jl. Gallium's AST interpreter as a separate package to simplify development

16

VT100.jl. Terminal Emulation for terminal UI verification

14

supermicro-aspeed-uboot. Supermicro's GPL release for their U-Boot code for aspeed machines

12

correctunwind. One part of my "this-is-why-we-cant-have-nice-thing" series

12

REPLCompletions.jl. Completions for your Julia REPL

10

julia. The Julia Language: a fresh approach to technical computing.

9

ClangSA.jl. Playing with the clang static analyzer to find julia runtime bugs

8

Pythia.jl. Julia wrappers for the Pythia event generator

5

julia-wasm-build. Builds of the julia-wasm repo

5

LHEF.jl. Quick and dirty implementation of the Les Houches Event Format

2

RR.jl. Julia interface to mozilla's rr

2

Hooking.jl. Function entry hooking for julia and c functions

2

LinuxBuilder. Julia

1

PerfEvents.jl. Working with the linux perf events subsystem

1

LineNumbers.jl. Some utilities for line number mapping - not clear this will remain a separate package

1
22
Apply