Skip to content

@platonic-io platonic.io

Change the repository type filter

All

    Repositories list

    54 repositories

    • symenv

      Public
      Symbiont SDK version manager
      smart-contract-platformsymbiont
      Shell
      •
      MIT License
      •2•3•4•2•Updated Nov 4, 2024Nov 4, 2024

    • sympl_hello

      Public
      SymPL Hello World smart contract
      smart-contractssympl
      Python
      •
      MIT License
      •1•1•0•1•Updated Sep 9, 2024Sep 9, 2024

    • sympl_auction

      Public
      Auction SymPL contract
      smart-contractssympl
      Python
      •
      MIT License
      •1•2•1•2•Updated Sep 9, 2024Sep 9, 2024

    • sympl_chat

      Public
      Chat contract
      smart-contractssympl
      JavaScript
      •
      MIT License
      •2•3•2•0•Updated Sep 9, 2024Sep 9, 2024

    • property-based-testing-stateful-systems

      Public
      A tutorial about how to apply property-based testing to stateful systems.
      haskelltutorialproperty-based-testingstate-machinesfault-injectionlinearizabilitysimulation-testing
      Haskell
      •
      MIT License
      •1•2•0•1•Updated Dec 27, 2022Dec 27, 2022

    • hs-disruptor

      Public
      Haskell
      •
      MIT License
      •1•0•8•0•Updated Nov 1, 2022Nov 1, 2022

    • detsys-testkit

      Public
      A test kit for fast and deterministic system tests.
      Haskell
      •
      MIT License
      •1•6•20•4•Updated Oct 28, 2022Oct 28, 2022

    • stack2cabal

      Public
      Convert stack projects to cabal.project + cabal.project.freeze
      Haskell
      •
      GNU General Public License v3.0
      •12•0•0•0•Updated Aug 24, 2022Aug 24, 2022

    • msgpack-haskell

      Public
      Haskell implementation of MessagePack / msgpack.org[Haskell]
      Haskell
      •80•1•0•0•Updated Jul 5, 2022Jul 5, 2022

    • int-cast

      Public
      Checked conversions between integral types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated Jun 2, 2022Jun 2, 2022

    • yaml-combinators

      Public
      Haskell
      •
      MIT License
      •7•0•0•0•Updated May 26, 2022May 26, 2022

    • test-public-mergify

      Public
      Exists to test mergify
      0•0•0•1•Updated Mar 2, 2022Mar 2, 2022

    • proto-lens

      Public
      API for protocol buffers using modern Haskell language and library patterns.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •110•0•0•0•Updated Jul 28, 2021Jul 28, 2021

    • fast-digits

      Public
      Split integers into digits, blazingly fast
      Haskell
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jul 6, 2021Jul 6, 2021

    • dns

      Public
      DNS libary in Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •36•0•0•0•Updated Jul 6, 2021Jul 6, 2021

    • rules_haskell

      Public
      Haskell rules for Bazel.
      Starlark
      •
      Apache License 2.0
      •81•0•0•0•Updated May 10, 2021May 10, 2021

    • generic-data

      Public
      Generic data types in Haskell, utilities for GHC.Generics
      Haskell
      •
      MIT License
      •9•0•0•0•Updated Apr 8, 2021Apr 8, 2021

    • hspec-golden-aeson

      Public
      Use tests to monitor changes in Aeson serialization
      Haskell
      •
      Other
      •4•0•0•0•Updated Jan 15, 2021Jan 15, 2021

    • libsodium

      Public
      A modern, portable, easy to use crypto library
      C
      •
      Other
      •1.7k•0•0•0•Updated Dec 16, 2020Dec 16, 2020

    • honeycomb-haskell

      Public
      Honeycomb client library for Haskell
      Haskell
      •
      Apache License 2.0
      •6•0•0•0•Updated Nov 11, 2020Nov 11, 2020

    • sdk-tutorials

      Public
      AppDev tutorials/walkthroughs
      0•0•0•0•Updated Jul 21, 2020Jul 21, 2020

    • oapi-codegen

      Public
      Generate Go client and server boilerplate from OpenAPI 3 specifications
      Go
      •
      Apache License 2.0
      •871•0•0•0•Updated Apr 7, 2020Apr 7, 2020

    • hpython

      Public
      Haskell language tools for Python
      Python
      •
      Other
      •16•0•0•0•Updated Mar 25, 2020Mar 25, 2020

    • haskell-datadog

      Public archive
      Datadog Client for Haskell
      haskelldatadogtracing
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•0•1•Updated Aug 26, 2019Aug 26, 2019

    • jaeger-flamegraph

      Public
      Generate flamegraphs from Jaeger .json dumps
      performance-analysishaskell-applicationjaegertracingflamegraphs
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•14•0•0•Updated Aug 26, 2019Aug 26, 2019

    • cppzmq

      Public
      Header-only C++ binding for libzmq
      C++
      •
      MIT License
      •757•0•0•0•Updated Jun 2, 2019Jun 2, 2019

    • prof-flamegraph

      Public
      Generate flamegraphs from ghc RTS .prof dumps
      performance-analysishaskell-applicationflamegraphs
      Haskell
      •
      MIT License
      •12•1•0•0•Updated May 21, 2019May 21, 2019

    • secp256k1

      Public archive
      Optimized C library for EC operations on curve secp256k1
      C
      •
      MIT License
      •1k•0•0•0•Updated Mar 26, 2019Mar 26, 2019

    • formatting

      Public
      Format strings type-safely with combinators
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •38•0•0•0•Updated Mar 20, 2019Mar 20, 2019

    • cborg

      Public
      Binary serialisation in the CBOR format
      Haskell
      •86•0•0•0•Updated Feb 21, 2019Feb 21, 2019