#
everest
Here are 12 public repositories matching this topic...
A beautiful, cross-platform REST client.
-
Updated
Jun 18, 2020 - Java
iOS Client for Everest.com
-
Updated
Apr 9, 2016 - Objective-C
The Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 and CDA structures with remote systems.
-
Updated
Aug 29, 2017 - C#
Internet connected altimeter for Everest Run - http://everestrun.pl/
-
Updated
Aug 23, 2017 - C
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.
-
Updated
Aug 30, 2018 - PHP
The synchronization server for Everest.
-
Updated
Sep 15, 2018 - JavaScript
In short, the Everest Framework is designed to ease the creation, formatting, and transmission of HL7v3 structures with remote systems.
-
Updated
Jun 19, 2018 - Java
Distributed block sort: a sample application for data processing in mobile ad hoc networks
-
Updated
Jun 13, 2018 - C++
Improve this page
Add a description, image, and links to the everest topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the everest topic, visit your repo's landing page and select "manage topics."


How do I include the Hacl* library in the
libfolder when extracting my code to OCaml?Currently I am stuck with this, which can extract successfully for F* codes only using the F* libraries.