Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Crystal

Scala

TypeScript

C++

PowerShell

MATLAB

Dart

Nix

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Swift

Racket

C

PowerShell

Rust

Elixir

C++

Java

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇾 Malaysia

🇲🇹 Malta

🇵🇦 Panama

🇻🇺 Vanuatu

🇳🇿 New Zealand

🇱🇻 Latvia

🇷🇼 Rwanda

🇲🇴 Macao

All Countries Compare Countries

DavePearce/LeanEVM

Stars
10
Rank 1,807,489 (Top 36 %)
Language Lean
License
Apache License 2.0
Created about 1 year ago
Updated 6 months ago

DavePearce/LeanEVM

DavePearce

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A toy implementation of the EVM in Lean4.

DynamicTopologicalSort

C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

FeatherweightRust

Provides a reference implementation of FeatherweightRust in Java.

jx86

Java Library for Generating x86 Code

StronglyConnectedComponents

An example implementation of my algorithm for finding Strongly Connected Components.

jkit

Java Compiler Kit (JKit)

JavaAVR

Simple AVR simulator written in Java

TuttePolynomial

Tutte Polynomial Computation

JModelGen

A model generator library for use with automated test generation.

SimpleVirtualMachine.wy

A demonstration of how Whiley can be used to verify compiler optimisations on a simple bytecode language.

RustSpectrum

ZX Spectrum Emulator written in Rust

JEVM

A simple Java implementation of the Ethereum Virtual Machine (EVM).

TinyBoy

A simple AVR Games Console which resembles the Arduaboy, but is designed around the ATtiny85!

SyntacticHeap.rs

A generic data structure designed for representing Abstract Syntax Trees.

Web.wy

A functional framework for creating single-page applications to execute in the browser.

EvmTools

Various utilities for working with the Etherem Reference Tests.

VirtualMachineInterpreter.rs

A utility for helping in the construction of interpreters / virtual machines.

Pacman

A Multi-Player Implementation of Pacman in Java

JSMT

A bunch of utilities / algorithms for implementing SMT solvers

JWebKit

A simple web framework, currently written in Java (though will eventually be in Whiley)

Conway.wy

An HTML5 Canvas Implemetation of Conway's Game of Life written in Whiley

TokenContract.wy

A simple smart contract written in Whiley.

JSyntacticHeap

A simple Java library for reading / writing files according to the SyntacticHeap format.

WyrlVis

A Visualation Tool for the Whiley Rewrite Language. This allows automata and rewrites to be visualised, which is helpful for debugging (amongst other things).

Homepage

My personal homepage.

Minesweeper.wy

Implementation of Minesweeper in Whiley

JBuildGraph

A library for managing builds (e.g. within a compiler).

Lil.rs

A low-level intermediate language written Rust.

WebCalc.wy

A simple calculator implemented as a Single Page App in Whiley.

DevmProofGen

Dafny Evm Proof Generator (experimental)

BettingContract

A simple betting smart contract written in Solidity.

SemanticSubtyping

A proof of the semantic subtyping relation from an academic paper.