Freiburg, Germany

Jakob Demler

Expert
@JDemler

Engineering Manager @Haufe-Lexware

BidirectionalTypechecking. Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

120

rust-iso-3166-2. Rust

1

manifest-driven-development. Definition and Implementation of System Behavior Description Driven Development

1

hermes-cost-lens. Hermes Dashboard Plugin for analyzing and optimizing the cost of Hermes Agent sessions

1
4
Apply