🪪 Software per l'utilizzo della Carta d'Identità Elettronica Italiana - Accesso ai servizi della PA, firma e verifica di documenti 🇮🇹 Software for the usage of the Italian Electronic Identity Card. Access to PA services, signing and verification of documents
☆17Jun 12, 2026Updated 2 months ago
Alternatives and similar repositories for cie-middleware-linux
Users that are interested in cie-middleware-linux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A port of FTPS kioslave to KDE Frameworks 5☆11Aug 6, 2022Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Mar 8, 2016Updated 10 years ago
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆16Jun 10, 2023Updated 3 years ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated 2 years ago
- Particle Syntax Website☆17Aug 13, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Music Data Abstraction Language☆12Jun 4, 2018Updated 8 years ago
- Manage project configuration and environment in side branches.☆11Jan 17, 2024Updated 2 years ago
- Yes, you should use an ad blocker☆14Sep 18, 2025Updated 11 months ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 9 months ago
- An Introduction to Various Math Topics☆10Jan 1, 2015Updated 11 years ago
- Scripts to perform some administration tasks from command line for Liferay 7.x. Designed with automation in mind.☆21Nov 16, 2023Updated 2 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 9 years ago
- A hackage-overlay with patched packages for mobile use.☆17Jan 8, 2019Updated 7 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 9 years ago
- A naïve ant colony simulation. Only useful as a pretty simulation, not sophisticated enough for real ant colony optimisation or anything …☆14Jul 25, 2011Updated 15 years ago
- Template di sistema di autenticazione tramite la Smart Card TS-CNS (o CNS) e la CIE (Carta d'Identità Elettronica) basato su Apache HTTP.☆65Apr 25, 2025Updated last year
- A replacement for linmobapps.frama.io☆10Dec 28, 2021Updated 4 years ago
- Flexible generation of identicons in Haskell☆16Aug 2, 2026Updated last month
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- shorter shattered pd☆11Aug 30, 2025Updated last year
- ☆27May 21, 2016Updated 10 years ago
- kde xml file for zig syntax highlighting☆19Nov 12, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Homesick castle for bash (base for other castles)☆15Sep 19, 2015Updated 10 years ago
- Repository per segnalazioni mappe con mancata attribuzione a OpenStreetMap☆12Feb 9, 2026Updated 6 months ago
- C# net-standard wrapper for Imgur anonymous api☆12Jun 24, 2022Updated 4 years ago
- Tutorial code for Lua and C++ integration☆19May 14, 2016Updated 10 years ago
- Haskell ctags/etags generator☆13Nov 20, 2015Updated 10 years ago
- Funkwhale package and deployment for NixOS☆16Oct 30, 2020Updated 5 years ago
- robertfoster's PKGBUILD☆10Updated this week
- Ansible role to install Check_MK RAW Edition☆12Nov 18, 2025Updated 9 months ago
- Simple conversion from Agda text to literate Agda text.☆14Dec 26, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generate cryptographic nonces.☆10Feb 10, 2026Updated 6 months ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- Searchable changelog from markdown files.☆13Aug 25, 2026Updated last week
- ☆109Updated this week
- ☆12Apr 22, 2022Updated 4 years ago
- libOGC is actually RTEMS source code☆28Jan 28, 2025Updated last year
- CLI Tool to help with various automation tasks (mostly all that stuff we cannot accomplish with native terraform)☆20Dec 14, 2023Updated 2 years ago