Here are
22 public repositories
matching this topic...
HACL*, a formally verified cryptographic library written in F*
A beautiful, cross-platform REST client.
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.
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
The synchronization server for Everest.
Updated
Sep 15, 2018
JavaScript
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.
TRAPPIST-1 photometry with K2
Updated
Mar 28, 2017
Python
A Celeste mod that allows you to reskin various entities from the game into pride versions.
A collection of new mechanics for the game Celeste
Distributed block sort: a sample application for data processing in mobile ad hoc networks
Command-Line Installer and Manager for Celeste Modding
Updated
May 12, 2022
Python
Updated
Mar 6, 2020
Makefile
A mod that adds non-rectangular tile entities to Celeste.
Data from the Himalayan Database containing information about deaths from 1921-2021.
A Celeste mod that makes your Strawberries explode.
Scripts for data wrangling and visualization with R
Celeste Mod that adds dash-less use of DreamBlocks
Climb the treacherous Mount Everest in this exciting text-based adventure game! A game through which you can experience a pure (Haskell) climb!
Updated
Mar 6, 2020
Makefile
Simple Windows Executable to run commands from a file.
Improve this page
Add a description, image, and links to the
everest
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
everest
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.