Skip to content
View Isaac-DeFrain's full-sized avatar
πŸ¦€
Rusting
πŸ¦€
Rusting

Organizations

@Granola-Team

Block or report Isaac-DeFrain

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Isaac-DeFrain/README.md

Welcome to my GitHub πŸ™πŸ˜Έ

I'm Isaac DeFrain (he/him)

Check out my websites

I love organizing information!

Work-related Interests

There are many, including, but not limited to:

  • blockchain
  • network security
  • distributed systems
  • on-chain governance
  • byzantine fault tolerance
  • web3 and smart contracts
  • concurrency and process calculi
  • protocol design and implementation
  • proof-of-stake consensus algorithms
  • dependent types and theorem provers
  • parsers, compilers, interpreters, and DSLs
  • functional programming (OCaml, Rust, Haskell, Scala)
  • formal specification/verification, model checking, and trace checking

My formal training is in pure mathematics (paper I published in 2018)

I am a full-time software developer working broadly in the blockchain space since 2018

Non-work-related Interests

Outside of work you will find me

  • hiking
  • rock climbing
  • coding for fun
  • learning (I am always learning!)
  • watching a variety of TV shows and movies

I am endlessly fascinated by the following topics:

  • governance
  • mathematics
  • nuclear fusion
  • quantum mechanics
  • surveillance capitalism
  • nuclear nonproliferation
  • fitness, nutrition, health
  • activism, politics, civil liberties
  • social impacts of blockchain/cryptocurrency
  • cults, hate groups, fascism, religious extremism
  • history and the general process of how things came to be the way they are

Pinned Loading

  1. TLAplusFun TLAplusFun Public

    TLA+ questions, answers, and experiments

    TLA 22

  2. fn fn Public

    Fun with rust!

    Rust

  3. simple-compiler simple-compiler Public

    A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

    OCaml 11

  4. model-based-trace-checking model-based-trace-checking Public

    Model-based trace-checking βœ… check the conformance of your implementation to your specification

    Rust 5

  5. github-reporting-py github-reporting-py Public

    Forked from MichaelCurrin/github-reporting-py

    Create detailed and summary CSV reports of activity by a GitHub user, using the GraphQL API πŸ‘¨β€πŸ’» πŸ“Š 🐍

    Python

  6. mina-indexer mina-indexer Public

    Forked from Granola-Team/mina-indexer

    The Mina Indexer is a re-designed version of the software collectively called the "Mina archive node."

    Rust 1