Pinned Repositories
ada-lua
An Ada binding for Lua.
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
adazlib
Ada Binding to Zlib
calibre
Source code repository for the calibre ebook manager
e3-aws
High level interface for CloudFormation
e3-core
Core framework for developing portable automated build systems
e3-testsuite
e3 testsuite driver
folly
An open-source C++ library developed and used at Facebook.
gnatcoll-core
GNAT Components Collection – Core packages
gnatpython
GNATPython Library
Nikokrock's Repositories
Nikokrock/ada-lua
An Ada binding for Lua.
Nikokrock/adazlib
Ada Binding to Zlib
Nikokrock/gnatpython
GNATPython Library
Nikokrock/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Nikokrock/calibre
Source code repository for the calibre ebook manager
Nikokrock/e3-aws
High level interface for CloudFormation
Nikokrock/e3-core
Core framework for developing portable automated build systems
Nikokrock/e3-testsuite
e3 testsuite driver
Nikokrock/folly
An open-source C++ library developed and used at Facebook.
Nikokrock/gnatcoll-core
GNAT Components Collection – Core packages
Nikokrock/my-arsenal-of-aws-security-tools
List of open source tools for AWS security: defensive, offensive, auditing, DFIR, etc.
Nikokrock/OpenUxAS
Project for multi-UAV cooperative decision making
Nikokrock/OpenUxAS-bootstrap
Nikokrock/pyoidc
A complete OpenID Connect implementation in Python
Nikokrock/rust
Empowering everyone to build reliable and efficient software.
Nikokrock/slsa
Supply-chain Levels for Software Artifacts
Nikokrock/sphinx
Main repository for the Sphinx documentation builder
Nikokrock/zlib
A massively spiffy yet delicately unobtrusive compression library.