Alexander Elfimow (aelfimow)

aelfimow

Geek Repo

Location:Fulda (Germany)

Home Page:https://aelfimow.github.io

Github PK Tool:Github PK Tool

Alexander Elfimow's starred repositories

free-programming-books

:books: Freely available programming books

the-book-of-secret-knowledge

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

License:MITStargazers:147499Issues:2481Issues:0

bitcoin

Bitcoin Core integration/staging tree

opencv

Open Source Computer Vision Library

Language:C++License:Apache-2.0Stargazers:78858Issues:2654Issues:10825

awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

julia

The Julia Programming Language

json

JSON for Modern C++

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Language:RustLicense:MITStargazers:13307Issues:321Issues:576

lists

The definitive list of lists (of lists) curated on GitHub and elsewhere

bips

Bitcoin Improvement Proposals

Language:WikitextStargazers:9354Issues:788Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4841Issues:103Issues:10079

docs

This repository contains .NET Documentation.

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

riscv-isa-manual

RISC-V Instruction Set Manual

Language:TeXLicense:CC-BY-4.0Stargazers:3668Issues:206Issues:880

cwa-documentation

Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

Language:TeXLicense:Apache-2.0Stargazers:3281Issues:198Issues:705

standard

This repo is building the .NET Standard

WindowsInternals

Windows Internals Book 7th edition Tools

documents

Decentralized Privacy-Preserving Proximity Tracing -- Documents

cwa-server

Backend implementation for the Apple/Google exposure notification API.

Language:JavaLicense:Apache-2.0Stargazers:1924Issues:91Issues:267

free-science-books

Inspired by free-programming-books, here's free-science-books

awesome-hdl

Hardware Description Languages

Gauche

Scheme Scripting Engine

Language:SchemeLicense:NOASSERTIONStargazers:813Issues:74Issues:445

tpm2-tss

OSS implementation of the TCG TPM2 Software Stack (TSS2)

Language:CLicense:BSD-2-ClauseStargazers:748Issues:68Issues:1051

vulkan_best_practice_for_mobile_developers

Vulkan best practice for mobile developers

Language:C++License:NOASSERTIONStargazers:658Issues:34Issues:10

sysinternals

Content for sysinternals.com

Language:PowerShellLicense:CC-BY-4.0Stargazers:473Issues:54Issues:269

riscv-crypto

RISC-V cryptography extensions standardisation work.

Language:CLicense:CC-BY-4.0Stargazers:363Issues:35Issues:229

fsfoundation

The F# Software Foundation website

risc-v-getting-started-guide

The official RISC-V getting started guide

Language:CSSLicense:CC-BY-4.0Stargazers:198Issues:24Issues:15

pamphlet

Source Codes for "A Pamphlet against R"

Language:TeXLicense:GPL-3.0Stargazers:100Issues:10Issues:12

cppnow_presentations_2019

The presentations of C++Now 2019.