Skip to content
View Bromel777's full-sized avatar
26 followers · 4 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@EncryFoundation @spectrum-finance

Block or report Bromel777

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

spectrum-finance / cardano-dex-contracts

Smart contracts and specification of the AMM protocol on top of the Cardano blockchain

Haskell 37 20 Updated Sep 13, 2023

tofu-tf / tofu

Functional programming toolbox

Scala 542 95 Updated Feb 17, 2025

spectrum-finance / cardano-dex-sdk-haskell

Haskell 6 1 Updated Nov 9, 2023

anton-trunov / csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

HTML 57 13 Updated Feb 28, 2023

oskin1 / factnet-p2p

Code for Blockchain Developer workshop

Scala 5 8 Updated Aug 23, 2021

softwaremill / tapir

Rapid development of self-documenting APIs

Scala 1,385 427 Updated Mar 2, 2025

oskin1 / CuckooScala

Cuckoo Filter for Scala 🎯

Scala 12 2 Updated Jan 12, 2019

EncryFoundation / EncryCore

EncryCore node reference implementation

Scala 15 7 Updated Apr 2, 2020
Showing results