Projects in Awesome Lists tagged with everest
A curated list of projects in awesome lists tagged with everest .
https://github.com/hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography everest formal-methods formal-verification hacl high-performance inria security verification verified-primitives
Last synced: 24 Mar 2025
https://github.com/rohitawate/everest
A beautiful, cross-platform REST client.
cross-platform desktop-app everest java javafx native-apps rest-client summit
Last synced: 13 Apr 2025
https://github.com/RohitAwate/Everest
A beautiful, cross-platform REST client.
cross-platform desktop-app everest java javafx native-apps rest-client summit
Last synced: 10 May 2025
https://github.com/rodluger/trappist1
TRAPPIST-1 photometry with K2
everest k2 planet transit trappist-1
Last synced: 02 Dec 2024
https://github.com/rohitawate/summit
The synchronization server for Everest.
cloud-sync everest nodejs rest-api socketio-server synchronization
Last synced: 10 Apr 2025
https://github.com/catapillie/pridemod
A Celeste mod that allows you to reskin various entities from the game into pride versions.
celeste celestegame everest mod modding
Last synced: 11 Mar 2025
https://github.com/androidblobs/device_stream_everest
Dummy device tree for S9
Last synced: 05 Apr 2025
https://github.com/elitewise/celeste-no-death-screen
Celeste mod that removes the death screen for instant respawns
celeste celeste-mod everest everestapi
Last synced: 02 Apr 2025
https://github.com/catapillie/shatteringstrawberries
A Celeste mod that makes your Strawberries explode.
celeste celestegame everest mod modding
Last synced: 11 Mar 2025
https://github.com/catapillie/trolls_effect_grab_bag
aka mario maker simulator
Last synced: 11 Mar 2025
https://github.com/dhruvsrikanth/climbingeverestgame
Climb the treacherous Mount Everest in this exciting text-based adventure game! A game through which you can experience a pure (Haskell) climb!
c climbing everest functional-programming game-development games gaming haskell monad text-based-adventure text-based-game trekking
Last synced: 23 Apr 2025
