HACL*, a formally verified cryptographic library written in F*
-
Updated
Jun 3, 2024 - F*
HACL*, a formally verified cryptographic library written in F*
A collection of new mechanics for the game Celeste
3D mapping of very high elevation terrain using MapLibre GL JS
Библиотеки, тесты и примеры програм для компьютера "Террикон", также известного как Slagheap SoC
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
A mod that adds non-rectangular tile entities to Celeste.
Command-Line Installer and Manager for Celeste Modding
Everest in-game updater source for GitHub Pull Requests
The Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 and CDA structures with remote systems.
A Celeste mod that makes your Strawberries explode.
A Celeste mod that allows you to reskin various entities from the game into pride versions.
A beautiful, cross-platform REST client.
Climb the treacherous Mount Everest in this exciting text-based adventure game! A game through which you can experience a pure (Haskell) climb!
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."