☆16Apr 29, 2021Updated 4 years ago
Alternatives and similar repositories for compiling-containers
Users that are interested in compiling-containers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker Swarm - A journey to the cloud☆21May 27, 2021Updated 4 years ago
- CVE-2019-0708 Exploit Tool☆18Jul 18, 2019Updated 6 years ago
- ☆12Aug 20, 2021Updated 4 years ago
- Libre Spatial Information Viewer☆16Dec 31, 2015Updated 10 years ago
- PwnWiki - The notes section of the pentesters mind.☆11Nov 16, 2016Updated 9 years ago
- Get Localization Command-Line Interface☆13Oct 13, 2016Updated 9 years ago
- A Prometheus Exporter for managing vulnerabilities in kubernetes by using trivy☆26Jan 30, 2022Updated 4 years ago
- ☆10Mar 7, 2023Updated 3 years ago
- Olive is an incubation module used to host new Mono code under development based on Microsoft's APIs. Olive code eventually graduates a…☆17Jan 6, 2014Updated 12 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 7 months ago
- 个人网站☆13Feb 18, 2026Updated last month
- Show Logcat in release buildtype and Timber log when it logs to a file☆12Mar 2, 2026Updated 3 weeks ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- This is DreamOS C Version by lizhirui since 2021-05-18☆10Aug 23, 2021Updated 4 years ago
- Easy multi-container testing with Docker☆13Sep 15, 2017Updated 8 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Template for Vite.js docs translation repositories☆13Updated this week
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A tiny statically typed programming language☆18Jul 22, 2014Updated 11 years ago
- CVE-2022-1040☆17Sep 25, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Small editor wrapped on cirru-editor☆13Aug 26, 2016Updated 9 years ago
- Go 程式設計語言技術共筆 如要加入這個技術共筆與線上討論, 請參考右邊的網站☆13Jun 6, 2016Updated 9 years ago
- Crazy figures and animations with Haskell☆34Oct 19, 2018Updated 7 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- ☆12Aug 1, 2023Updated 2 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 9 months ago
- PyTorch implementation of Munchausen Reinforcement Learning based on DQN and SAC. Handles discrete and continuous action spaces☆15Oct 3, 2021Updated 4 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Evolving expressions using genetic algorithms☆17Jun 20, 2020Updated 5 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Atmos iOS is an open source project for crowdsourcing user and sensor generated data about the weather on iOS devices.☆10Mar 3, 2017Updated 9 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- P2P Social network☆16May 25, 2015Updated 10 years ago
- handouts and notes from the 2017 edition of the summer school☆39Jul 13, 2017Updated 8 years ago
- Deep Q-Network (DQN) to play classic Atari Games☆11Sep 18, 2017Updated 8 years ago