Alternatives and similar repositories for ATS-blockchain

Users that are interested in ATS-blockchain are comparing it to the libraries listed below

• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 9 months ago
• gallettilance / magnificATS

  View on GitHub
  Collection of ATS goodness
  ☆34Nov 19, 2019Updated 6 years ago
• Query-farm / evalexpr_rhai

  View on GitHub
  A DuckDB extension to evaluate the Rhai scripting language as part of SQL.
  ☆24Feb 1, 2026Updated 2 weeks ago
• vmchale / ats-vim

  View on GitHub
  Vim plugin for ATS
  ☆16Jul 7, 2021Updated 4 years ago
• metasepi / c2ats

  View on GitHub
  generate ATS interface from C code
  ☆20Dec 31, 2016Updated 9 years ago
• arkark / d-prolog

  View on GitHub
  A Prolog implementation in D language
  ☆25Jan 11, 2021Updated 5 years ago
• bczsalba / Termage

  View on GitHub
  Generate SVGs from any Python code, even in your documentation.
  ☆30Nov 15, 2022Updated 3 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Jul 8, 2025Updated 7 months ago
• pedrotst / coquedille

  View on GitHub
  A Coq to Cedille compiler written in Coq
  ☆34Sep 22, 2020Updated 5 years ago
• PerinnoAB / DirtyHash

  View on GitHub
  Open source project to help the Web3 community fight frauds and scams.
  ☆18Feb 7, 2024Updated 2 years ago
• ericaltendorf / magicbeans

  View on GitHub
  Cryptocurrency tax and tracking tools for the Beancount platform.
  ☆11Aug 23, 2024Updated last year
• staafl / youtube-bulk-upload-ui

  View on GitHub
  ☆14May 11, 2023Updated 2 years ago
• synrc / chat

  View on GitHub
  💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…
  ☆10Feb 8, 2026Updated last week
• sparverius / ats-acc

  View on GitHub
  Pretty-print error messages of the ATS Compiler
  ☆37Jun 28, 2019Updated 6 years ago
• kusumotonorio / factlog

  View on GitHub
  subset-Prolog-like DSL running on Factor
  ☆10Apr 7, 2020Updated 5 years ago
• CADLAB-io / CADLAB.io-swarm-stack

  View on GitHub
  ☆13Nov 16, 2025Updated 3 months ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• TurtleKitty / Vaquero

  View on GitHub
  A scripting language for cowboy coders
  ☆22Jun 1, 2024Updated last year
• nmvdw / groupoids

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 years ago
• ndrwbv / instargam-content-bot

  View on GitHub
  🤖 Bot that makes Instagram posts
  ☆10Mar 22, 2022Updated 3 years ago
• hz7k-nzw / sicp-in-smlnj

  View on GitHub
  This is a translation of source code from SICP into SML/NJ.
  ☆13Jun 2, 2010Updated 15 years ago
• baygeldin / rem.el

  View on GitHub
  Reactive memoization for Emacs Lisp.
  ☆11Feb 17, 2022Updated 4 years ago
• chrisokasaki / hwtest

  View on GitHub
  A Scala testing library for homeworks
  ☆10Aug 17, 2022Updated 3 years ago
• openwallet-foundation / acapy-plugins

  View on GitHub
  aries-acapy-plugins
  ☆10Updated this week
• baskerville / fdb

  View on GitHub
  Path frecency database
  ☆10May 20, 2019Updated 6 years ago
• schveiguy / sqlbuilder

  View on GitHub
  DLang SQL Builder using prepared statements.
  ☆10Jan 26, 2025Updated last year
• VictorTaelin / lsign

  View on GitHub
  Quantum-proof, 768-bit signatures for 1-bit messages
  ☆11Mar 11, 2020Updated 5 years ago
• jrk / symalg

  View on GitHub
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Oct 6, 2011Updated 14 years ago
• containers / docs

  View on GitHub
  Repository for all documentation written about tools hosted at github.com/containers
  ☆13Mar 29, 2023Updated 2 years ago
• gizmodata / flight-ibis-demo

  View on GitHub
  This repo demonstrates an Apache Arrow Flight server implementation in Kubernetes.
  ☆12Oct 25, 2024Updated last year
• haze / sitruuna.vim

  View on GitHub
  Yellowish theme for vim
  ☆10Dec 16, 2020Updated 5 years ago
• namachan10777 / scad-ml

  View on GitHub
  OpenSCAD DSL for OCaml
  ☆15Oct 4, 2022Updated 3 years ago
• signalco-io / signalco

  View on GitHub
  ☆10Updated this week
• lawrencegripper / signald-smtp-bridge

  View on GitHub
  Send emails to signal via signald
  ☆16Dec 5, 2024Updated last year
• FreeTAKTeam / DigitalPy

  View on GitHub
  A framework to support digital engineering in the python language
  ☆12Jul 29, 2025Updated 6 months ago
• ChocPanda / scalacheck-magnolia

  View on GitHub
  Scalacheck Arbitrary type class derivation using magnolia
  ☆10Jan 13, 2023Updated 3 years ago
• negbie / telefonist

  View on GitHub
  Automate your SIP test calls
  ☆15Jul 15, 2021Updated 4 years ago
• janestreet / lwt-async

  View on GitHub
  Lwt with async backend
  ☆18Jan 2, 2014Updated 12 years ago
• ftonneau / splash.kak

  View on GitHub
  Splash screen for the Kakoune editor
  ☆10Oct 21, 2025Updated 3 months ago