HACL*, a formally verified cryptographic library written in F*
-
Updated
Nov 10, 2024 - F*
HACL*, a formally verified cryptographic library written in F*
A beautiful, cross-platform REST client.
iOS Client for Everest.com
The Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 and CDA structures with remote systems.
Command-Line Installer and Manager for Celeste Modding
In short, the Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 structures with remote systems.
A collection of new mechanics for the game Celeste
Internet connected altimeter for Everest Run - http://everestrun.pl/
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.
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 Celeste mod that allows you to reskin various entities from the game into pride versions.
Distributed block sort: a sample application for data processing in mobile ad hoc networks
3D mapping of very high elevation terrain using MapLibre GL JS
Библиотеки, тесты и примеры програм для компьютера "Террикон", также известного как 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."