Compiles LLVM IR (bytecode) or C to .NET Assemblies

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

The symbolic execution engine powering the K Framework

Nimbus: an Ethereum Execution Client for Resource-Restricted Devices

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A quick example of how one can "synchronize" a 3d scene across multiple windows using three.js and localStorage

A fail-fast validating helper for .NET CIL generation

Practical samples of ASP.NET Core 11, 10, 9, 8.0, 7.0, 6.0, 5.0, 3.1, 2.2, and 2.1,projects you can use. Readme contains explanations on all projects.

A list of Free Software network services and web applications which can be hosted on your own servers

🤗 The largest hub of ready-to-use datasets for AI models with fast, easy-to-use and efficient data manipulation tools

Algebraic data types for C99

Inference code for Llama models

Generative Models by Stability AI

Code for my talks on the No Boilerplate channel

Specification for the Execution Layer. Tracking network upgrades.

EVMC – Ethereum Client-VM Connector API

Evm laboratory

A collection of EVM puzzles

Resources on Compilers

Mutation Testing for Ethereum Smart Contracts

A system for designing and building custom arcade-style game controllers.

a Java VM implemented in Forth

Repository with code snippets that accompany episodes of The Haskell Unfolder

Source code for the https://computerenhance.com programming series

F# Object Relational Mapper

Your self-hosted, globally interconnected microblogging community

C++ implementation of the Ethereum protocol

Ensemble des pdf de cours que j'ai écrits

A Coq to Cedille compiler written in Coq