Quantifier (@Isaac-DeFrain)
github

Isaac-DeFrain

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    68
  • Global Rank 274,652 (Top 10 %)
  • Followers 47
  • Following 43
  • Registered over 6 years ago
  • Most used languages
    OCaml
         63.6 %
    Haskell
         9.1 %
    TLA     9.1 %
    Python
         9.1 %
    Rust
         9.1 %
  • Location ๐Ÿ‡จ๐Ÿ‡ฆ Canada
  • Country Total Rank 58,918
  • Country Ranking
    TLA     1
    OCaml
         10
    Haskell
         294
    Rust
         739

Top repositories

1

TLAplusFun

TLA+ questions, answers, and experiments
TLA
22
star
2

simple-compiler

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.
OCaml
11
star
3

KFramework

RChain Rholang Implementation & Materials for learning K Framework
OCaml
8
star
4

model-based-trace-checking

Model-based trace-checking โœ… check the conformance of your implementation to your specification
Rust
5
star
5

dependent

An implementation of dependently typed lambda calculus
OCaml
4
star
6

liveness-checking

Liveness checking state machines without storing execution traces
OCaml
2
star
7

Todo

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

ProgrammingWithCategories

Following the Programming with Categories course Spring 2020 MIT
2
star
9

RChainResearch

Research materials for RChain
2
star
10

expenses

Command line program for producing expense reports
OCaml
2
star
11

Thompson

Regular expressions, NFAs, and DFAs
Haskell
1
star
12

mina-utils

Utilities for Mina Protocol
Python
1
star
13

node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p
OCaml
1
star