kryptt
Follow
Starred repositories
Artifacts and scripts created by Guild operators
A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other pl…
Customizable Typescript SDK for interacting with Cardano DEXs
A friendly programming language from the future
A schema-aware Scala library for data transformation
Quine • a streaming graph • https://quine.io • Discord: https://discord.gg/GMhd8TE4MR
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
A passthrough FUSE filesystem that intelligently moves files between storage tiers based on frequency of use, file age, and tier fullness.
Implements MTCNN face detection in rust, using NVIDIA tensorrt
StakePool Operator Scripts. Learn how to create and manage your StakePool / manage your DRep stuff / do Governance Actions with these simple scripts. Hardware-Ledger/Trezor Support, Token/Asset Sen…
Roslyn Diagnostic Analyzers are customized compiler errors providing real-time feedback to C# developers. Each Analyzer optionally includes an automatic Code Fixer.
CoreFreq : CPU monitoring and tuning software designed for 64-bit processors.
A simple yet extensible shapeless-based serialization library
Principled code generation from OpenAPI specifications
