Giters
Dmitrii Dolgov (erthalion)

erthalion

Geek Repo

101

followers

83

following

959

stars

Company:Red Hat

Github PK Tool:Github PK Tool

Organizations
ruHaskell
xmonad

Dmitrii Dolgov's starred repositories

volkswagen

:see_no_evil: Volkswagen detects when your tests are being run in a CI server, and makes them pass.

Language:JavaScriptLicense:MITStargazers:13249Issues:94Issues:31

post-mortems

A collection of postmortems. Sorry for the delay in merging PRs!

Stargazers:11123Issues:556Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:6918Issues:51Issues:612

awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

Stargazers:3431Issues:151Issues:9

perf-book

The book "Performance Analysis and Tuning on Modern CPU"

Language:TeXLicense:CC0-1.0Stargazers:1873Issues:57Issues:17

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1791Issues:64Issues:277

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanLicense:Apache-2.0Stargazers:1648Issues:55Issues:362

sectorc

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Language:CLicense:CC0-1.0Stargazers:1601Issues:19Issues:9

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1116Issues:53Issues:1139

substrait

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Language:PythonLicense:Apache-2.0Stargazers:1056Issues:42Issues:151

kepler

Kepler (Kubernetes-based Efficient Power Level Exporter) uses eBPF to probe performance counters and other system stats, use ML models to estimate workload energy consumption based on these stats, and exports them as Prometheus metrics

Language:GoLicense:Apache-2.0Stargazers:1026Issues:24Issues:437

rbpf

Rust virtual machine and JIT compiler for eBPF programs

Language:RustLicense:Apache-2.0Stargazers:840Issues:26Issues:44

x86-simd-sort

C++ template library for high performance SIMD based sorting algorithms

Language:C++License:BSD-3-ClauseStargazers:805Issues:22Issues:30

bpftime

Userspace eBPF runtime for fast Uprobe & Syscall hook & Extensions with LLVM JIT

Language:C++License:MITStargazers:650Issues:16Issues:139

bpftune

bpftune uses BPF to auto-tune Linux systems

Language:CLicense:NOASSERTIONStargazers:642Issues:17Issues:25

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:RustStargazers:598Issues:32Issues:446

shuttle

Shuttle is a library for testing concurrent Rust code

Language:RustLicense:Apache-2.0Stargazers:580Issues:18Issues:20

awesome-green-software

License:NOASSERTIONStargazers:479Issues:28Issues:26

ebpf-verifier

eBPF verifier based on abstract interpretation

Language:C++License:MITStargazers:350Issues:14Issues:172

null-island

A design reflection about the representation of missing values.

License:CC0-1.0Stargazers:343Issues:7Issues:1

virtme

An easy way to virtualize the running system

Language:PythonLicense:GPL-2.0Stargazers:325Issues:16Issues:21

sci

A specification that describes how to calculate a carbon intensity for software applications.

Language:HTMLLicense:NOASSERTIONStargazers:249Issues:21Issues:123

tango

Markdown-based Literate programming in Rust, integrated with Cargo.

Language:RustLicense:Apache-2.0Stargazers:167Issues:7Issues:17

github-actions-dhall

Typecheck, template and modularize your Github Action definitions with Dhall

Language:DhallLicense:MITStargazers:109Issues:4Issues:16

mutable

A Database System for Research and Fast Prototyping

Language:C++License:AGPL-3.0Stargazers:91Issues:1Issues:7

pg_failover_slots

PG Failover Slots extension

Language:CLicense:NOASSERTIONStargazers:65Issues:15Issues:14

xrefcheck

Check cross-references in repository documents

Language:HaskellLicense:MPL-2.0Stargazers:50Issues:18Issues:129

GPdoemd

Design of experiments for model discrimination using Gaussian process surrogate models

Language:PythonLicense:MITStargazers:36Issues:6Issues:1

pg_explain_lexer

A pygments lexer for PostgreSQL's `EXPLAIN ANALYZE` output

Language:TeXStargazers:9Issues:4Issues:3

Phiflow_validation

Language:Jupyter NotebookStargazers:3Issues:0Issues:0