K
Keno
289 repositories
834 followers
Cambridge, MA
Repositories
Select a repository to view its commits, contributors, and more.public
julia-wasm
Running julia on wasm
JavaScript
338
23
13
Updated 18 days ago
public
SIUnits.jl
Efficient unit-checked computation
Julia
71
24
48
Updated 2 months ago
public
InterfaceSpecs.jl
Playground for formal specifications of interfaces in Julia
Julia
58
2
6
Updated 3 months ago
public
TerminalExtensions.jl
A package that makes Julia take advantage of cool terminal emulator features.
Julia
42
11
9
Updated 9 months ago
public
bmcnonsense
Playing with firmware
C
31
5
1
Updated 2 years ago
public
Compiler3.jl
Staging package for new compiler interfaces
Julia
28
3
1
Updated 3 years ago
public
TerminalUI.jl
Who needs a GUI if you have a terminal?
Julia
21
6
2
Updated a year ago
public
ASTInterpreter.jl
Gallium's AST interpreter as a separate package to simplify development
Julia
16
10
34
Updated 4 years ago
public
VT100.jl
Terminal Emulation for terminal UI verification
Julia
13
13
1
Updated a year ago
public
correctunwind
One part of my "this-is-why-we-cant-have-nice-thing" series
C
12
1
0
Updated 10 months ago
public
supermicro-aspeed-uboot
Supermicro's GPL release for their U-Boot code for aspeed machines
C
11
4
0
Updated a month ago
public
REPLCompletions.jl
Completions for your Julia REPL
Julia
10
5
4
Updated 6 years ago