HACL*, a formally verified cryptographic library written in F*
-
Updated
Jul 29, 2024 - F*
HACL*, a formally verified cryptographic library written in F*
A beautiful, cross-platform REST client.
Everest PHP is a rapid development PHP MVC framework. It encompasses the MVC with partials and view components. It has in-built Database Helpers that help you develop apps in PHP rapidly.
A collection of new mechanics for the game Celeste
The Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 and CDA structures with remote systems.
iOS Client for Everest.com
In short, the Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 structures with remote systems.
Internet connected altimeter for Everest Run - http:https://everestrun.pl/
A mod that adds non-rectangular tile entities to Celeste.
Command-Line Installer and Manager for Celeste Modding
Step by step on how to integrate Everest based EV Charger with CSMS such as Steve , Open E-Mobility , CitrineOS and many more Open Source CSMS. Please change to different branches for different CSMS
The synchronization server for Everest.
Distributed block sort: a sample application for data processing in mobile ad hoc networks
A Celeste mod that makes your Strawberries explode.
Библиотеки, тесты и примеры програм для компьютера "Террикон", также известного как Slagheap SoC
Add a description, image, and links to the everest topic page so that developers can more easily learn about it.
To associate your repository with the everest topic, visit your repo's landing page and select "manage topics."