azolotko

azolotko's Stars

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml9.9k1002.9k566

• MaskRay/ccls

  C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

  Language:C++3.7k80742252

• xerial/sqlite-jdbc

  SQLite JDBC Driver

  Language:Java2.7k104585595

• nemtrif/utfcpp

  UTF-8 with C++ in a Portable Way

  Language:C++1.5k5062191

• devcontainers/cli

  A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.

  Language:TypeScript1.3k28347185

• corrosion-rs/corrosion

  Marrying Rust and CMake - Easy Rust and C/C++ Integration!

  Language:CMake9891419294

• netero1010/EDRSilencer

  A tool uses Windows Filtering Platform (WFP) to block Endpoint Detection and Response (EDR) agents from reporting security events to the server.

  Language:C901139121

• openSUSE/osem

  Open Source Event Manager. An event management tool tailored to Free and Open Source Software conferences.

  Language:Ruby856581k488

• Start9Labs/start-os

  Open source Linux distro optimized for self-hosting

  Language:Rust808261.1k83

• mwiede/jsch

  fork of the popular jsch library

  Language:Java64022219122

• qbit/ohmyksh

  A framework for OpenBSD's ksh

  Language:Shell1798110

• apache/felix-dev

  Apache felix

  Language:Java134220126

• dtrugman/pfs

  Parsing the Linux procfs

  Language:C++9161128

• indoorvivants/sn-bindgen

  Scala 3 native binding generator + libclang facade

  Language:Scala741747

• KennethSundqvist/key-jump-browser-extension

  Easier keyboard navigation. No mouse needed to click on links and stuff.

  Language:JavaScript6327114

• AbigailBuccaneer/firefox-ctrlnumber

  A Firefox extension that adds keyboard shortcuts to switch tabs with Ctrl+Number

  Language:JavaScript56349

• openSUSE/get-o-o

  Website that provides detailed information about openSUSE distributions

  Language:HTML50327644

• nomeata/loogle

  Mathlib search tool

  Language:Lean466145

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean39974

• imirkin/algebra

  C++ Abstract Algebra Library

  Language:C++22405

• foldables-io/skunk-tables

  Type-safe high-level ORM for Postgres

  Language:Scala172101

• ncroxon/gnu-efi

  Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.

  Language:C154

• sysflow-telemetry/sf-collector

  SysFlow collection probe

  Language:C++1511016

• ianopolous/JayD

  An x86 disassembler written in Java (port of udis86)

  Language:Java13304

• scala-native/improvement-proposals

  Scala Native Improvement Proposals

  11801

• axiomed/Http.lean

  HTTP Primitives for Lean4

  Language:Lean92

• azolotko/firefox-supernumber

  A Firefox extension that adds keyboard shortcuts to switch tabs with Super+Number

  Language:JavaScript10

• azolotko/mac-mnemonic-key-mode

  Provide mac-style key bindings on Carbon Emacs

  Language:Emacs Lisp1000

• azolotko/sbt-javafx

  sbt plugin for building JavaFX applications

  Language:Scala10

• cake-lier/sbt-remote-deploy

  A sbt plugin for deploying a scala artifact remotely

  Language:Scala10