Jake Fecher

Lead Compiler Developer at Aztec

Chicago, Illinois, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Jake Fecher is a Lead Compiler Developer based in Chicago with a decade of experience building language tooling and compilers. He created the Ante programming language and drives compiler work at Aztec, bringing practical systems-language design to zero-knowledge and blockchain-adjacent domains. His open-source work includes substantial parser and type-checking rewrites—notably improving the Noir language parser for ZK proofs and implementing lexer, parser, and expression evaluation for Ante. Jake blends academic CS foundations from Northeastern with hands-on backend engineering, favoring parser combinators and clean type systems to reduce complexity and eliminate dead code.
code10 years of coding experience
job1 year of employment as a software developer
bookComputer Science and Business, Computer Science and Business at Northeastern University
github-logo-circle

Github Skills (16)

compiler10
programming-language10
compiler-design10
parser10
type-checking10
compiler-compiler10
lexical-analysis10
type-check10
rust10
parsing10
text-parsing10
lex10
compiler-construction10
proof9
proofs9

Programming languages (19)

MDXCSSC++RustCScalaHTMLNoir

Github contributions (5)

github-logo-circle
noir-lang/noir

Jan 2022 - Jan 2023

Noir is a domain specific language for zero knowledge proofs
Role in this project:
userBack-end Developer
Contributions:1 release, 3265 reviews, 400 commits in 1 year
Contributions summary:Jake primarily focused on modifying the parser for the Noir language. They rewrote the parser using parser combinators and implemented the parsing of structs, thereby extending the language's functionality. In addition, the user made significant changes to the type-checking component, including type checking if statements, thereby improving the type system's accuracy. Furthermore, the user removed unused code such as predicate expression nodes.
cryptographyzeroknowledgezero-knowledgecompiler
jfecher/ante

Aug 2015 - Jan 2023

A safe, easy systems language
Role in this project:
userBack-end Developer
Contributions:2 releases, 123 reviews, 1323 commits in 7 years 6 months
Contributions summary:Jake primarily worked on the development of the Ante language's parser and related components. They implemented and updated the parser functionality, including handling variable definition, function calls, and infix expressions. The contributions also include defining tokens, creating a lexer, and making modifications to both the parser and expression evaluation components of the language, ultimately leading to a more complete and functional implementation.
lazy-evaluationantecompilerrefinement-typessystems-language
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Jake Fecher - Lead Compiler Developer at Aztec