Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by Isaac-DeFrain

A curated list of projects in awesome lists by Isaac-DeFrain .

https://github.com/isaac-defrain/tlaplusfun

TLA+ questions, answers, and experiments

formal-verification tla tlaplus

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/simple-compiler

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

compiler interpreter lexer ocaml parser risc

Last synced: 15 Dec 2024

https://github.com/isaac-defrain/kframework

RChain Rholang Implementation & Materials for learning K Framework

k-framework programming-language rholang smart-contract

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/model-based-trace-checking

Model-based trace-checking ✅ check the conformance of your implementation to your specification

formal-verification model-based-testing rust tlaplus

Last synced: 15 Dec 2024

https://github.com/isaac-defrain/dependent

An implementation of dependently typed lambda calculus

cli dependent-types lambda-calculus ocaml proof

Last synced: 15 Dec 2024

https://github.com/isaac-defrain/liveness-checking

Liveness checking state machines without storing execution traces

model-checking tlaplus

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/programmingwithcategories

Following the Programming with Categories course Spring 2020 MIT

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/todo

Todo list application built to explore different features of the OCaml language

functional-programming functors modules ocaml

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/rchainresearch

Research materials for RChain

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/expenses

Command line program for producing expense reports

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/thompson

Regular expressions, NFAs, and DFAs

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/mina-utils

Utilities for Mina Protocol

mina mina-protocol scripts

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/prometheus

Prometheus resources

metrics monitoring prometheus

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/fn

Fun with rust!

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/zkapps

Simple zk smart contract for Mina Protocol

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/programminglanguages

Follows the Programming Languages course taught by Dan Grossman at the University of Washington.

notes progamming-language standard-ml

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/big_int

Implementation of big integers

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/omnetpp_fun

OMNeT++ experiments

cpp omnetpp simulation

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/algos-theory-machines-course

Following the course Computer Science: Algorithms, Theory, and Machines by Robert Sedgewick and Kevin Wayne https://www.coursera.org/learn/cs-algorithms-theory-machines

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/solidity

Solidity notes and example contracts

ethereum smart-contract solidity

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/recursivedescentparser

Recursive descent parser for left recurive grammar

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/zk-resources

Resources for learning about zero-knowledge

learning resources zero-knowledge zk

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/coinduction

Coinductive types + techniques

coinduction

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/adventofcode2020

Solutions to Advent of Code 2020

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/rustproglang

Notes from Dimitri Nesteruk's Rust Programming Language course

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/categorytheory

Notes from Bartosz Milewski's incredible three part category theory course

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/stateright

Learning the stateright Rust model checker (https://github.com/stateright/stateright)

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/passgenman

Simple password generator and manager

crypto haskell password-generator password-manager

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/scalaadvfunprog

Notes & exercises from Daniel Ciocîrlan's Advanced Scala & Functional Programming course

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/rho-format

Code formatter for Rholang

formatter rholang

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/wordsearch

A simple, command line word search game implemented in Haskell

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/zk-papers

Papers on zero-knowledge protocols

learning papers zero-knowledge zk

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/zk-ignite-cohort-1

Ideas and resources for Mina Protocol zkIgnite cohort 1

mina zk-ignite zkapp zkapps

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/default-rust-project

Default rust + nix + just project structure

example-project just nix rust

Last synced: 28 Mar 2025

https://github.com/isaac-defrain/cv

My CV

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/cryptography

Crypto BIP (Book In Progress)

crypto cryptography python

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/micscryptoproject

Comparison of rainbow, rsa, dsa, etc (via gpg and https://github.com/fast-crypto-lab/rainbow-submission-round2)

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/cats-funprog

Category Theory and Functional Programming Collaborative Learning Group

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/simple-task-scheduler

A simple task scheduler based on a priority queue

priority-queue scheduler

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/presentations

Various presentations given

Last synced: 02 Apr 2025

https://github.com/isaac-defrain/pinocchio

Reference implementation of the Pinccohio zk proof system

pinocchio verifiable-computation zero-knowledge zk zksnark

Last synced: 02 Apr 2025