Benjamin Landers (TheThirdOne)

TheThirdOne

Geek Repo

Location:Los Angeles, California

Github PK Tool:Github PK Tool

Benjamin Landers's starred repositories

iced

A cross-platform GUI library for Rust, inspired by Elm

FlameGraph

Stack trace visualizer

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Language:ScalaLicense:AGPL-3.0Stargazers:14888Issues:228Issues:9163

handcalcs

Python library for converting Python calculations into rendered latex.

Language:CSSLicense:Apache-2.0Stargazers:5381Issues:86Issues:180

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustLicense:Apache-2.0Stargazers:4571Issues:72Issues:79

terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Language:C++License:NOASSERTIONStargazers:2684Issues:95Issues:397

feather

A Minecraft server implementation in Rust

Language:RustLicense:Apache-2.0Stargazers:2576Issues:55Issues:230

lean3

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:2145Issues:117Issues:1124

slim

Build and run tiny vms from Dockerfiles. Small and sleek.

Language:JavaScriptLicense:Apache-2.0Stargazers:2086Issues:17Issues:29

Glowstone

A fast, customizable and compatible open source server for Minecraft: Java Edition

Language:JavaLicense:NOASSERTIONStargazers:1879Issues:87Issues:410

synfig

This is the Official source code repository of the Synfig project

Language:C++License:GPL-3.0Stargazers:1760Issues:58Issues:1463

human-panic

Panic messages for humans.

Language:RustLicense:Apache-2.0Stargazers:1582Issues:15Issues:37

napkin

An Infinitely Large Napkin

Language:TeXLicense:NOASSERTIONStargazers:1139Issues:46Issues:60

elvm

EsoLangVM Compiler Infrastructure

elfcat

ELF visualizer. Generates HTML files from ELF binaries.

Language:RustLicense:ZlibStargazers:925Issues:11Issues:3

neut

A dependently-typed programming language with static memory management

Language:HaskellLicense:MITStargazers:831Issues:21Issues:13

jupiter

RISC-V Assembler and Runtime Simulator

Language:JavaScriptLicense:GPL-3.0Stargazers:410Issues:12Issues:34

typometer

Text / code editor typing latency analyzer

Language:JavaLicense:Apache-2.0Stargazers:360Issues:11Issues:12

listudy

Listudy - chess training server

Language:ElixirLicense:AGPL-3.0Stargazers:278Issues:15Issues:104

venus

RISC-V instruction set simulator built for education

Language:KotlinLicense:MITStargazers:181Issues:6Issues:18

CellularForms

An implementation of Andy Lomas' Cellular Forms.

Language:C++License:MITStargazers:155Issues:7Issues:2

venus

RISC-V instruction set simulator built for education

jelf

ELF parsing library in java.

Language:JavaLicense:MITStargazers:143Issues:11Issues:8

WebRISC-V

WebRISC-V: A Web-Based Education-Oriented RISC-V Pipeline Simulation Environment [PHP]

Language:PHPLicense:BSD-3-ClauseStargazers:113Issues:7Issues:21

hprof2flamegraph

Flame Graph visualization for Java (HPROF, Honest-profiler)

Language:PythonLicense:BSD-2-ClauseStargazers:111Issues:4Issues:4

rvsim

A RISC-V simulator implementing RV32G[C].

Language:RustLicense:NOASSERTIONStargazers:32Issues:5Issues:3

advent2019-fast

Advent of Code 2019 optimized solutions in C++

Language:C++Stargazers:29Issues:1Issues:0

venusbackend

This is the universal backend for the Venus project.

GLIR

Graphics Library for RISC-V

Language:AssemblyLicense:MITStargazers:4Issues:3Issues:0

RISCV-IDE-SIM

A Java based RISC-V IDE and ISA Simulator of Multiple Bases and Extensions

Language:JavaLicense:GPL-3.0Stargazers:1Issues:0Issues:0