michaellilltokiwa

michaellilltokiwa's Stars

• tokiwa-software/fzweb

  Language:Makefile41

• dockur/windows

  Windows inside a Docker container.

  Language:Shell31.4k2.1k

• hylo-lang/hylo

  The Hylo programming language

  Language:Swift1.3k59

• kaaninho/a-prettier-printer

  An implementation of the pretty printer from Philip Wadlers paper "A prettier printer"

  Language:Haskell1

• beehive-lab/TornadoVM

  TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

  Language:Java1.2k115

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k98

• maciejpirog/cpp-effects

  Effect handlers in C++

  Language:C++11710

• koka-lang/libmprompt

  Robust multi-prompt delimited control and effect handlers in C/C++

  Language:C11412

• secure-software-engineering/FlowDroid

  FlowDroid Static Data Flow Tracker

  Language:Java1.1k300

• cloud-carbon-footprint/cloud-carbon-footprint

  Cloud Carbon Footprint is a tool to estimate energy use (kilowatt-hours) and carbon emissions (metric tons CO2e) from public cloud usage

  Language:TypeScript931298

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust24.9k402

• Green-Software-Foundation/if

  Impact Framework

  Language:TypeScript16141

• ocaml-multicore/saturn

  Lock-free data structures for multicore OCaml

  Language:OCaml22131

• gluon-lang/gluon

  A static, type inferred and embeddable language written in Rust.

  Language:Rust3.2k147

• zesterer/tao

  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

  Language:Rust1.1k23

• microsoft/mimalloc

  mimalloc is a compact general purpose allocator with excellent performance.

  Language:C10.8k887

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell89.6k5.8k

• Green-Software-Foundation/awesome-green-software

  57183

• tokiwa-software/fuzion

  The Fuzion Language Implementation

  Language:Java4911

• ocaml-multicore/eio

  Effects-based direct-style IO for multicore OCaml

  Language:OCaml57571

• actonlang/acton

  The Acton Programming Language

  Language:C1538

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k168

• hfiref0x/SyscallTables

  Windows NT Syscall tables

  Language:C1.2k240

• mattiasgustavsson/libs

  Single-file public domain libraries for C/C++

  Language:C1.7k125

• j00ru/windows-syscalls

  Windows System Call Tables (NT/2000/XP/2003/Vista/7/8/10/11)

  Language:HTML2.2k334

• hanabi1224/Programming-Language-Benchmarks

  Yet another implementation of computer language benchmarks game

  Language:C#677135

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k81

• tamarin-prover/tamarin-prover

  Main source code repository of the Tamarin prover for security protocol verification.

  Language:Haskell426136

• koalaman/shellcheck

  ShellCheck, a static analysis tool for shell scripts

  Language:Haskell36.7k1.8k

• jzimmerman/langcc

  langcc: A Next-Generation Compiler Compiler

  Language:C++1.7k59