Keno Fischer (Keno)

Keno

Geek Repo

Company:@JuliaComputing

Location:Cambridge, MA

Github PK Tool:Github PK Tool


Organizations
julia-ci
JuliaBinaryWrappers
JuliaCI
JuliaComputing
JuliaIO
JuliaLang
JuliaParallel
JuliaStrings
llvm
rr-debugger

Keno Fischer's repositories

InterfaceSpecs.jl

Playground for formal specifications of interfaces in Julia

Language:JuliaLicense:MITStargazers:55Issues:7Issues:5

VT100.jl

Terminal Emulation for terminal UI verification

Language:JuliaLicense:NOASSERTIONStargazers:13Issues:7Issues:5

SSH.jl

A toy SSH implementation

Language:JuliaLicense:NOASSERTIONStargazers:3Issues:5Issues:4

rr

Record and Replay Framework

Language:C++License:NOASSERTIONStargazers:2Issues:4Issues:0

VXI11.jl

Implementation of the VXI11 remote instrument protocol

Language:JuliaLicense:NOASSERTIONStargazers:2Issues:4Issues:1

ForwardDiff.jl

Forward Mode Automatic Differentiation for Julia

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

Revise.jl

Automatically update function definitions in a running Julia session

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

steamdeck-notes

Notes for trying various things on steamdeck hardware

StructArrays.jl

Efficient implementation of struct arrays in Julia

Language:JuliaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:0Issues:1Issues:0

AWSS3.jl

AWS S3 Simple Storage Service interface for Julia.

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

classic-flang-llvm-project

LLVM monorepo for integration with classic flang

Stargazers:0Issues:1Issues:0

CodeTracking.jl

It's editing-time, do you know where your methods are?

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

dashro-docs

Scalable, modular, and easy to combine BIOS firmware technology without boundaries on processor architecture.

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

DiffEqBase.jl

The lightweight Base library for shared types and functionality for defining differential equation and scientific machine learning (SciML) problems

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

EasyModelAnalysis.jl

High level functions for analyzing the output of simulations

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

FilePathsBase.jl

Filesystem path types in julia

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

goxmldsig

Pure Go implementation of XML Digital Signatures

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

LinearSolve.jl

LinearSolve.jl: High-Performance Unified Interface for Linear Solvers in Julia. Easily switch between factorization and Krylov methods, add preconditioners, and all in one interface.

License:NOASSERTIONStargazers:0Issues:0Issues:0

ModelingToolkit.jl

A modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

OrdinaryDiffEq.jl

High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learning (SciML)

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

saml

SAML library for go

Language:GoLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

Sandbox.jl

The cultured host's toolkit for ill-mannered Linux guests.

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

SciMLBase.jl

The Base interface of the SciML ecosystem

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

SparseArrays.jl

SparseArrays.jl is a Julia stdlib

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Sundials.jl

Julia interface to Sundials, including a nonlinear solver (KINSOL), ODE's (CVODE and ARKODE), and DAE's (IDA) in a SciML scientific machine learning enabled manner

Language:JuliaLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0
Language:JuliaLicense:MITStargazers:0Issues:2Issues:0

tracy

Frame profiler

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

Trilinos

Primary repository for the Trilinos Project

License:NOASSERTIONStargazers:0Issues:0Issues:0

Yggdrasil

Collection of builder repositories for BinaryBuilder.jl

Language:JuliaStargazers:0Issues:2Issues:0