-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedDec 2, 2025 -
next-notion-portfolio Public
Portfolio cum Blog built with NextJS
-
ai-security-scanner Public
Forked from A-m-anuel/ai-security-scannerAI-powered security code analysis and vulnerability scanner built with modern AI models and OWASP best practices.
Python MIT License UpdatedJul 6, 2025 -
-
-
cheribsd-colocation-strace Public
Forked from CTSRD-CHERI/cheribsdFreeBSD adapted for CHERI-RISC-V and Arm Morello.
C Other UpdatedNov 29, 2024 -
-
faasd-extended Public
Forked from openfaas/faasdExtending faasd - A lightweight & portable faas engine
-
faas-netes Public
Forked from openfaas/faas-netesServerless Functions For Kubernetes
Go MIT License UpdatedMay 6, 2024 -
minio-py Public
Forked from minio/minio-pyMinIO Client SDK for Python
Python Apache License 2.0 UpdatedApr 23, 2024 -
ukfaas Public
OpenFaaS provider for Unikraft unikernel OCI images
-
kraftkit Public
Forked from unikraft/kraftkitBuild and use highly customized and ultra-lightweight unikernel VMs.
Go BSD 3-Clause "New" or "Revised" License UpdatedApr 4, 2024 -
serverless-benchmarks Public
Forked from spcl/serverless-benchmarksSeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2024 -
faas Public
Forked from openfaas/faasOpenFaaS - Serverless Functions Made Simple
Go MIT License UpdatedMar 18, 2024 -
A python template for a FaaS Unikraft image
-
esbmc Public
Forked from esbmc/esbmcThe efficient SMT-based context-bounded model checker (ESBMC)
C Other UpdatedMay 14, 2023 -
esbmc-solidity-action Public
Github action for security verification of solidity contracts using ESBMC-solidity
-
rustlings Public
Forked from rust-lang/rustlings🦀 Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedMay 8, 2023 -
unikraft-functions Public
Serverless function unikernels built with unikraft
Shell UpdatedMar 25, 2023 -
go-cdcl Public
SAT Solver using CDCL written in Golang
Go GNU General Public License v3.0 UpdatedMar 12, 2023 -
Hmeets Public
Submission for Code fury by team techyons
-
-
adominitio Public
A google keep alternative built with angular and firebase
TypeScript UpdatedMar 11, 2021 -
PythonPackageSkeleton Public template
A template repo to act as skeleton for any python package
Python UpdatedDec 9, 2020 -
-
GLChess Public
Forked from codeict/GLChessA Chess program using OpenGl written entirely in C++
-
AutoPPT Public
Forked from beetlegeusee/AutoPPTusing web scraping to make a ppt on any topic.
-
FlaskAPIDocker Public
Flask API package skeleton ideal for microservices using docker
Python MIT License UpdatedOct 10, 2020 -
my-docker-spark Public
A variation for big data europe's docker-spark for python based ml applications
Shell UpdatedJun 30, 2020 -
PokemonShowdownBot Public
AI assistant\bot for pokemon showdown by smogon
JavaScript UpdatedMay 4, 2020
{{ message }}