- Vilnius
Block or Report
Block or report avnik
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
ghaf-givc Public
Forked from tiiuae/ghaf-givcGhaf gRPC-based inter-vm communication framework
Go Apache License 2.0 UpdatedJul 4, 2024 -
-
givc Public
Forked from mbssrc/givcInter-VM Services and Communication via gRPC
Go Apache License 2.0 UpdatedJun 12, 2024 -
hercules-ci-agent Public
Forked from hercules-ci/hercules-ci-agenthttps://hercules-ci.com build and deployment agent
Haskell Apache License 2.0 UpdatedMay 7, 2024 -
fallout2-ce Public
Forked from alexbatalov/fallout2-ceFallout 2 for modern operating systems
C++ Other UpdatedMay 5, 2024 -
ghaf Public
Forked from tiiuae/ghafTII SSRC Secure Technologies: Ghaf Framework
Nix Apache License 2.0 UpdatedApr 29, 2024 -
kernel-hardening-checker Public
Forked from a13xp0p0v/kernel-hardening-checkerA tool for checking the security hardening options of the Linux kernel
Python GNU General Public License v3.0 UpdatedMar 17, 2024 -
ghaf-caml-crush Public
Forked from tiiuae/ghaf-caml-crushCaml Crush package and NixOS-module for ghaf framework
Nix Apache License 2.0 UpdatedFeb 21, 2024 -
-
nixpkgs-cross-build-repro Public
Personal playground to debug nixpkgs cross-building issues
Nix UpdatedNov 9, 2023 -
-
ghaf-ci-test-automation Public
Forked from tiiuae/ci-test-automationC++ Creative Commons Zero v1.0 Universal UpdatedOct 19, 2023 -
npmlock2nix Public
Forked from nix-community/npmlock2nix -
vulnix Public
Forked from nix-community/vulnixVulnerability (CVE) scanner for Nix/NixOS.
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2023 -
-
-
autopack Public
Forked from kowainik/autopack📦 Custom Setup to automate package modules discovery
Haskell Mozilla Public License 2.0 UpdatedDec 14, 2022 -
-
Demo for haskell-nix and ghc plugin
Nix UpdatedOct 24, 2022 -
record-dot-preprocessor Public
Forked from ndmitchell/record-dot-preprocessorA preprocessor for a Haskell record syntax using dot
-
haskell-nix-extras Public
Haskell.nix addendum stuff (opinionated and experimental)
Nix BSD 3-Clause "New" or "Revised" License UpdatedOct 23, 2022 -
ghc-hasfield-plugin Public
GHC Source plugin to replace field matching with HasField getter
-
orgmode-parse Public
Forked from ixmatus/orgmode-parseAttoparsec parser combinators for parsing org-mode structured text!
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 15, 2022 -
large-records Public
Forked from well-typed/large-recordsLibrary to support efficient compilation of large records (linear in the number of record fields)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 9, 2022 -
jrec Public
Forked from juspay/jrecLiterally the best anonymous records
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 18, 2022 -
jenkinsfile-runner-nix Public
Flaked nix packaging for jenkinsfile-runner
-
naersk Public
Forked from nix-community/naerskBuild rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: ???]
Nix MIT License UpdatedMar 5, 2022 -
haskell-src-meta Public
Forked from haskell-party/haskell-src-metaMaintenance of Matt Morrow's package for parsing haskell source to a TH AST.
Haskell UpdatedJan 16, 2022 -
sdbus-cpp Public
Forked from Kistler-Group/sdbus-cppHigh-level C++ D-Bus library for Linux designed to provide easy-to-use yet powerful API in modern C++
-
beam Public
Forked from juspay/beamA type-safe, non-TH Haskell SQL library and ORM
Haskell UpdatedJul 26, 2021