Skip to content
Change the repository type filter

All

    Repositories list

    • Compile-time protections for unmanned systems
      Shell
      0000Updated Sep 1, 2025Sep 1, 2025
    • precious

      Public
      The PRECIS framework in Gleam
      Gleam
      0040Updated Aug 15, 2025Aug 15, 2025
    • A BCP47 language tag parser in Gleam
      Gleam
      0000Updated Aug 15, 2025Aug 15, 2025
    • bs-xml

      Public
      DOM Document decoder for ReScript
      ReScript
      2010Updated Oct 17, 2024Oct 17, 2024
    • otp

      Public
      Erlang/OTP
      Erlang
      3k001Updated Sep 3, 2024Sep 3, 2024
    • Reason's documentation site
      HTML
      399002Updated Mar 20, 2023Mar 20, 2023
    • reductive

      Public
      Redux in Reason
      ReScript
      40002Updated Mar 8, 2023Mar 8, 2023
    • strophejs

      Public
      Strophe.js is an XMPP library for JavaScript
      JavaScript
      362002Updated Mar 8, 2023Mar 8, 2023
    • Port of the Universal theme to Hugo
      CSS
      603001Updated Mar 4, 2023Mar 4, 2023
    • ReasonML bindings for react-select
      Reason
      8003Updated Mar 3, 2023Mar 3, 2023
    • erlangpl

      Public
      Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.
      Erlang
      40005Updated Feb 22, 2023Feb 22, 2023
    • vernemq

      Public
      A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases.
      Erlang
      419001Updated Oct 10, 2022Oct 10, 2022
    • MongoDB driver for Erlang
      Erlang
      271001Updated Nov 18, 2021Nov 18, 2021
    • Fork of gleam_uuid from GitLab
      Erlang
      0100Updated Oct 20, 2021Oct 20, 2021
    • BSON documents in Erlang, see bsonspec.org
      Erlang
      79000Updated Aug 30, 2021Aug 30, 2021
    • escalus

      Public
      An XMPP client library in Erlang for conveniently testing XMPP servers
      Erlang
      71000Updated Aug 5, 2021Aug 5, 2021
    • erl-pkcs5

      Public
      PKCS#5 algorithms in Erlang
      Erlang
      3000Updated Jun 14, 2021Jun 14, 2021
    • plumtree

      Public
      Epidemic Broadcast Trees
      Erlang
      53001Updated Mar 10, 2021Mar 10, 2021
    • vmq-docs

      Public
      48000Updated Feb 26, 2021Feb 26, 2021
    • bs-precis

      Public
      Bucklescript Implementation for Precis; WIP NPM package for Precis string-prep
      Reason
      0150Updated Nov 13, 2020Nov 13, 2020
    • saxy

      Public
      A fast, easy-to-use and XML 1.0 compliant XML SAX parser in Elixir
      Elixir
      39000Updated May 14, 2020May 14, 2020
    • strophejs-

      Public archive
      StropheJS replaced with WebCrypto and removed MD5
      JavaScript
      0001Updated May 11, 2020May 11, 2020
    • Elixir with FIPS 140-2 crypto support
      Dockerfile
      1100Updated Apr 22, 2020Apr 22, 2020
    • Reason
      3000Updated Feb 11, 2020Feb 11, 2020
    • A build setup for a fleet of FIPS 140-2 containers
      Dockerfile
      0000Updated May 16, 2019May 16, 2019
    • Reason compiled version for hannesm/xml.
      OCaml
      1100Updated Nov 17, 2018Nov 17, 2018
    • raxx

      Public
      Interface for HTTP webservers, frameworks and clients
      Elixir
      28000Updated Nov 2, 2018Nov 2, 2018
    • erleans

      Public
      Erlang Orleans
      Erlang
      26000Updated Aug 13, 2018Aug 13, 2018
    • A validator for OpenC2 requests
      0000Updated Jul 11, 2018Jul 11, 2018
    • FIPS 140-2 enabled Erlang containers
      Erlang
      3200Updated Apr 27, 2018Apr 27, 2018