Apex framework to provide functionality for HTTP callouts
Repository Index
47,133 repositories indexed
97–120 of 125 · Most stars
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Data and code for "When (ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems" (CHI 2016)
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
The repository host gives no description.
Traceroute improved wrapper for CSIRT and CERT operators
An opinionated helper for generating tls certificates
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
Do you often find yourself caught off guard idling in Insert mode instead of escaping to Normal mode like a true Vim user? Let this help you train yourself out of the bad habit. It also boots you out of Insert mode after certain amount of seconds of inactivity
A layer of abstraction the around acme/autocert certificate manager (Golang)
- ssl
- ssl-certificates
- ssl-certificate
- x509
ESPot - ElasticSearch Honeypot
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor Firebase plugins.
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Apex framework to provide API calls for Google Drive
Translated🛡️ CA: Certificate Authority. DSTU: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
- ecc
- rsa
- ocsp
- pki
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
A latency / fault tolerance library to help isolate your applications from an uncertain world of slow or failed services.
Digital forensic (DFIR) specialist roadmap.
- chfi
- cyber-defense
- cyber-forensics
- dfir
Simple setup that set up a Linux container on a host running solr with SSL using a generated certificate.
A simple HTTP proxy for the webdev serve command (a tool authored by the dart team) that adds support for rewriting certain requests, namely rewriting 404s to instead serve the root index (/index.html). This allows developers to work on browser applications (like our own) that use HTML5 routing while still being able to refresh and/or navigate directly to deep links.
Library to handle X509 proxy certificates
A lightweight application serving frontend applications and load balancer.
- frontend-server
- spa-server
- letsencrypt-certificates
- loadbalancer