INSECA is a set of tools to build and manage very secure live Linux based endpoint systems.
☆23Nov 8, 2024Updated last year
Alternatives and similar repositories for inseca
Users that are interested in inseca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆40Dec 18, 2022Updated 3 years ago
- main test suite☆16Jul 17, 2024Updated last year
- Quick share notes on HackMD☆18Apr 26, 2024Updated last year
- Routing for biycles, alternative interface to Brouter.de, focused on safety.☆20Nov 19, 2024Updated last year
- A Software Catalog application☆38Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A FUSE filesystem for interacting with GitLab, written in Go☆12May 19, 2022Updated 3 years ago
- AtroPM is a simple, but powerful, configurable, open-source Project Management Software, inspired by Github and Gitlab.☆16Jan 26, 2024Updated 2 years ago
- This library provides an ASTERIX Frame(binary data) decoding/parsing(json,xml) capabilities for Go.☆12Apr 4, 2023Updated 3 years ago
- Using a Truebner SMT50 with an ESP8266 for wireless irrigation control☆14Sep 25, 2020Updated 5 years ago
- This repository contains a series of scripts that I have written for Mattermost to perform descrete tasks. I am sharing them here in cas…☆13Jul 31, 2020Updated 5 years ago
- Mattermost API v4 client for ruby☆11Jan 26, 2019Updated 7 years ago
- A solver for package problems in CUDF format☆27Sep 29, 2025Updated 6 months ago
- Dnsmaq dns server web gui interface☆20May 13, 2018Updated 7 years ago
- ☆12Sep 8, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- integration of GLPI with Metabase☆17Jan 29, 2026Updated 2 months ago
- debian postfix with amavis spam & virus scanner (ghcr.io/servercontainers/mail-gateway). can be used as gateway, smarthost etc. [x86 + ar…☆17Sep 22, 2024Updated last year
- Tools for monitoring Freebox ADSL Modem with grafana, influxdb & telegraf☆20Dec 6, 2018Updated 7 years ago
- Constraint solver based on abstract domains☆33Oct 22, 2024Updated last year
- SYstème de GEstion de FORmation☆17Jun 7, 2022Updated 3 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆24Dec 7, 2023Updated 2 years ago
- Brief Python implementation of Most Permissive Boolean Networks☆19Mar 9, 2026Updated last month
- ⛔️ DEPRECATED - A CLI tool to retrieve your Linky power consumption☆20Oct 30, 2020Updated 5 years ago
- A rewrite of the inkscapeslide script to create PDF presentations out of inkscape SVG files.☆27Mar 8, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simplification de la demande de bourse☆10Oct 18, 2018Updated 7 years ago
- drivers ext for openwrt☆17Jul 29, 2020Updated 5 years ago
- Automatically set system proxy from network connection☆17Nov 8, 2016Updated 9 years ago
- Des idées de nouveaux services publics, sur le style de https://beta.gouv.fr/ficheproduit/☆16May 29, 2024Updated last year
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 9 months ago
- Send SMS from your mobile phone. Phone is connected via Bluetooth.☆19Jul 6, 2024Updated last year
- ☆16Oct 12, 2023Updated 2 years ago
- Automatically Reset Google Advertising ID Every 5-10 Minutes☆21Aug 7, 2021Updated 4 years ago
- Auto generate IDs for the interface between Keycloak and Mattermost☆19Mar 2, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆24Feb 17, 2026Updated 2 months ago
- Membership and Ticketing in cooperative and open network.☆30Updated this week
- Fluentd + fluent-bit + Graylog2 + Elasticsearch running in Docker☆20Feb 15, 2017Updated 9 years ago
- Erku is an IPTV and video on demand client for the Roku OS.☆12Dec 29, 2024Updated last year
- Multi-architecture image for running Virtual Radar Server (amd64, arm/v7, arm64)☆22Jun 5, 2022Updated 3 years ago
- Prometheus exporter for the Freebox☆26Apr 22, 2025Updated 11 months ago
- 🖥 Node.js implementation of HPE iLO 4 remote console protocol☆21Mar 12, 2022Updated 4 years ago