EncryCore node reference implementation
☆15Apr 2, 2020Updated 5 years ago
Alternatives and similar repositories for EncryCore
Users that are interested in EncryCore are comparing it to the libraries listed below
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- ☆12Jul 28, 2024Updated last year
- ☆25Apr 18, 2015Updated 10 years ago
- Scala framework for collecting performance metrics and conducting sound experimental benchmarking.☆13Nov 19, 2025Updated 3 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Oct 3, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- Python library & CLI to create, view and edit PFB files☆12Feb 19, 2026Updated last week
- Veldspar, is a developmental blue sky cryptocurrency.☆10Jun 13, 2019Updated 6 years ago
- A semester college project for implementing Stagnography by hiding secret message in WAVE audio file and extract it back, developed in C#…☆10Dec 2, 2012Updated 13 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- Sangria akka-streams integration☆11Feb 8, 2026Updated 3 weeks ago
- PASL Safebox cryptocurrency☆10Oct 2, 2021Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆10Nov 23, 2024Updated last year
- Scala Deep Reinforcement library on top of Deeplearning4j☆36Nov 11, 2019Updated 6 years ago
- ☆11Jan 26, 2022Updated 4 years ago
- Galaxy decentralized node network and protocol☆10Sep 25, 2018Updated 7 years ago
- Some Avro operations in Scala☆10Feb 9, 2026Updated 2 weeks ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- The example shows possibility of RabbitMq☆11Dec 8, 2022Updated 3 years ago
- command-line tool to merge package.json files☆12Feb 16, 2022Updated 4 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- Hello world project templates for getting started quickly with Nix☆12Oct 15, 2023Updated 2 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Course Materials for the MMCi Practical Data Science Course☆19Apr 10, 2020Updated 5 years ago
- An Apache Mesos Framework that allows for replaying load over and over and over (and over) again☆10Aug 10, 2015Updated 10 years ago
- BLOCKCHAIN written in C#☆11Sep 24, 2023Updated 2 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- An example of a multiple workspace deployment with reusable modules.☆13May 28, 2025Updated 9 months ago
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- grep for justlog☆10Jul 9, 2025Updated 7 months ago
- C# library based on Python 3 itertools☆10Jan 20, 2022Updated 4 years ago
- This is a POC to test pgTAP (I use Docker image) to write and execute PL/pgSQL - SQL Procedural Language.☆11Mar 1, 2018Updated 7 years ago
- ☆13Sep 12, 2024Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 3 weeks ago
- ☆11May 21, 2021Updated 4 years ago
- Taiga for Dataset management☆12Feb 5, 2026Updated 3 weeks ago