Beast code in Giters

Wataru Tokuno's starred repositories

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

Language:TypeScriptMIT78569 399 3410

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustMIT51843 319 631

drawio

draw.io is a JavaScript, client-side editor for general diagramming.

Language:JavaScriptApache-2.040148 585 3628

CheatSheetSeries

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

Language:PythonCC-BY-SA-4.027312 568 439

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

Language:C++Apache-2.022670 647 2382

mold

Mold: A Modern Linker 🦠

Language:C++MIT13894 108 862

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.010354 97 177

wren

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Language:WrenMIT6838 157 574

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.04305 68 1682

lets-get-arrested

This project is intended to protest against the police in Japan

Language:HTML4135 47 59

c2rust

Migrate C code to Rust

Language:RustNOASSERTION3854 53 561

smtp4dev

smtp4dev - the fake smtp email server for development and testing

Language:C#BSD-3-Clause2979 63 232

awesome-discord-communities

A curated list of awesome Discord communities for programmers

Language:PythonCC-BY-4.02676 57 46

wil

Windows Implementation Library

Language:C++MIT2531 65 208

linked-list-good-taste

Linus Torvalds' linked list argument for good taste, explained

Language:CMIT2024 22 12

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause1975 54 1563

ante

A safe, easy systems language

Language:RustMIT1883 32 135

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Language:RustNOASSERTION1790 72 208

piccolo

An experimental stackless Lua VM implemented in pure Rust

Language:RustCC0-1.01576 46 31

memtest86plus

Official repo for Memtest86+

Language:CGPL-2.0982 30 228

rhizome

A JIT for Ruby, implemented in pure Ruby

Language:RubyMIT815 200

optimization-manual

Contains the source code examples described in the "Intel® 64 and IA-32 Architectures Optimization Reference Manual"

Language:Assembly0BSD760 42 1

obsidian-tikzjax

Render LaTeX and TikZ diagrams in your notes

Language:TypeScriptMIT373 5 72

allocators-rs

Allocators in Rust

Language:RustApache-2.0303 15 80

windows-app-rs

Rust for the Windows App SDK

Language:Rust218 22 18

awesome-program-analysis

Program Analisys and Transformation survey and links (particular focus on SSA)

148 14 1

mallocng-draft

Working draft of nextgen malloc implementation for musl libc

Language:CMIT115 17 4

immix

Pluggable implementation of Immix garbage collector.

Language:CNOASSERTION52 15 1

System-Fo

An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.

Language:Scala33 40

coreML

A small core ML implementation in OCaml.

Language:OCamlGPL-3.03 30