Giters
Mike Linksvayer (mlinksva)

mlinksva

Geek Repo

364

followers

0

following

2k

stars

Company:☃

Location:San Francisco, California

Home Page:https://github.blog/category/policy/

Twitter:@mlinksva

Github PK Tool:Github PK Tool

Mike Linksvayer's starred repositories

microkit

Microkit - A simple operating system framework for the seL4 microkernel

Language:RustLicense:NOASSERTIONStargazers:66Issues:0Issues:0

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

Language:CLicense:BSD-2-ClauseStargazers:70Issues:0Issues:0

iscc-core

ISCC - Codec & Algorithms

Language:PythonLicense:Apache-2.0Stargazers:12Issues:0Issues:0

iscc-specs

ISCC: International Standard Content Code

Language:PythonLicense:NOASSERTIONStargazers:45Issues:0Issues:0

pylyzer

A fast static code analyzer & language server for Python

Language:RustLicense:MITStargazers:2060Issues:0Issues:0

cackle

A code ACL checker for Rust

Language:RustLicense:NOASSERTIONStargazers:177Issues:0Issues:0

wikimisc

Language:RustLicense:MITStargazers:1Issues:0Issues:0

hack-your-government

A list of governments with Vulnerability Disclosure Policies

Stargazers:83Issues:0Issues:0

pgrx

Build Postgres Extensions with Rust!

Language:RustLicense:NOASSERTIONStargazers:3327Issues:0Issues:0

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

Language:PythonLicense:MITStargazers:11600Issues:0Issues:0

publications

Publications from Trail of Bits

Language:PythonLicense:CC-BY-SA-4.0Stargazers:1339Issues:0Issues:0

diff-pdf

A simple tool for visually comparing two PDF files

Language:C++License:GPL-2.0Stargazers:1905Issues:0Issues:0

discourse-ai

Language:RubyLicense:MITStargazers:59Issues:0Issues:0

rezoner

Language:RStargazers:2Issues:0Issues:0

ruzzy

A coverage-guided fuzzer for pure Ruby code and Ruby C extensions

Language:RubyLicense:AGPL-3.0Stargazers:67Issues:0Issues:0

xr0

The Xr0 Verifier for C

Language:CLicense:Apache-2.0Stargazers:168Issues:0Issues:0

open-source-in-government

License:CC-BY-SA-4.0Stargazers:18Issues:0Issues:0

aframe

:a: Web framework for building virtual reality experiences.

Language:JavaScriptLicense:MITStargazers:16330Issues:0Issues:0

giskard

🐢 Open-Source Evaluation & Testing for LLMs and ML models

Language:PythonLicense:Apache-2.0Stargazers:3477Issues:0Issues:0

Memory-Safety

License:Apache-2.0Stargazers:12Issues:0Issues:0

genai-os

Kuwa GenAI OS: An open, free, secure, and privacy-focused Generative-AI Operating System.

Language:JavaScriptLicense:MITStargazers:65Issues:0Issues:0

veryl

Veryl: A Modern Hardware Description Language

Language:RustLicense:NOASSERTIONStargazers:423Issues:0Issues:0

flox

Developer environments you can take with you

Language:RustLicense:GPL-2.0Stargazers:2149Issues:0Issues:0

minimal-terms-of-use-and-privacy-policy

The equivalent of the MIT license for Terms of Use and Privacy Policy.

License:MITStargazers:2Issues:0Issues:0

self-attestation

Markdown Version of the DHS/CISA Secure Software Development Self Attestation Form.

License:CC0-1.0Stargazers:19Issues:0Issues:0

TECv2

Hugo-based version of The Encryption Compendium.

Language:HTMLLicense:GPL-3.0Stargazers:4Issues:0Issues:0

ibis

Language:RustLicense:AGPL-3.0Stargazers:72Issues:0Issues:0

git2effort

Calculate development effort from a Git repository

Language:PythonLicense:GPL-3.0Stargazers:19Issues:0Issues:0

win32-app-isolation

Tools and documentation for Win32 app isolation

License:MITStargazers:1237Issues:0Issues:0

nixbsd

An unofficial NixOS fork with a FreeBSD kernel

Language:NixLicense:MITStargazers:361Issues:0Issues:0