goalieca

goalieca's Stars

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k169

• JimiHFord/unnks

  NKS and NKX archive unpacker

  Language:C6727

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++827260

• yanirs/established-remote

  A list of established remote companies

  7.7k609

• LogicalAtomist/principia

  The Principia Rewrite

  Language:TeX2055

• mist64/cbmsrc

  Original source code of various Commodore computers and peripherals.

  Language:Roff45382

• DanielAdolfsson/ndppd

  NDP Proxy Daemon

  Language:C++336101

• radvd-project/radvd

  radvd | Official repository: https://github.com/radvd-project/radvd

  Language:C203106

• pi-hole/FTL

  The Pi-hole FTL engine

  Language:C1.4k194

• pi-hole/pi-hole

  A black hole for Internet advertisements

  Language:Shell48.7k2.7k

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k665

• n64decomp/sm64

  A Super Mario 64 decompilation, brought to you by a bunch of clever folks.

  Language:C7.6k1.4k

• liballeg/allegro5

  The official Allegro 5 git repository. Pull requests welcome!

  Language:C1.9k283

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust55.9k3k