alexet Goto Github PK

alexet.github.io

apple-security-framework

Apple's Security.framework sources, fetched from https://opensource.apple.com/source/Security/Security-57740.51.3/

bbchallenge-deciders

Here we give programs that check if Turing machines halt or not.

bbchallenge-nfa-verification

Tentative DeciderInfo format for NFA proofs.

busycoq

Busy Beaver deciders backed by Coq proof

codeql

The standard QL libraries and queries that power LGTM.com and other Semmle Products

codeql-uboot

codql

This is a fork of https://github.com/github/codeql but not a fork so don't have to SSO for personal projects.

corefx

This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others. We welcome contributions.

cross-bug-reduced

Reduction of an internal bug.

documentation

The IRON documentation website to share information.

edk2

EDK II

gsf

Grid Solutions Framework

haskell-tree-sitter

Haskell bindings for tree-sitter

heory

"heory" (pronounced like theory; a portmanteau of "hear" and "theory"). Music theory and pitch trainer.

hipmunk

Haskell binding for Chipmunk, 2D physics engine.

l-lab-test

llvm-general

Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)

metrics

:chart_with_upwards_trend: Capturing JVM- and application-level metrics. So you know what's going on.

nccl-master

Optimized primitives for collective multi-GPU communication

npp-papyrus

Notepad++ plugin to provide Papyrus scripting language support

scc

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

storage-units

Java library for storage units

tree-sitter

An incremental parsing system for programming tools

tree-sitter.github.io

Source HTML for the Tree-sitter organization site

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

vscode

Visual Studio Code

vscode-ccls

ccls plugin for Visual Studio Code

vscode-codeql

An extension for Visual Studio Code that adds rich language support for CodeQL