Alternatives and similar repositories for smlnj

Users that are interested in smlnj are comparing it to the libraries listed below

• spl / ivy

  View on GitHub
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Jan 31, 2016Updated 10 years ago
• bblum / landslide

  View on GitHub
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Dec 26, 2018Updated 7 years ago
• Consensys / eth2stats-server

  View on GitHub
  Server and dashboard components
  ☆12Jun 24, 2024Updated last year
• AriaFallah / ppx_str

  View on GitHub
  PPX for template strings
  ☆14Nov 17, 2018Updated 7 years ago
• cesaro / dpu

  View on GitHub
  Dynamic analysis of multithreaded C programs
  ☆13Feb 7, 2020Updated 6 years ago
• JohnAD / negamax

  View on GitHub
  negamax AI algorithm for turn-based games
  ☆13Oct 6, 2019Updated 6 years ago
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated last month
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• gjaldon / simple-diff

  View on GitHub
  A simple diff algorithm in pure OCaml
  ☆15Jul 10, 2020Updated 5 years ago
• haxscramper / ngspice

  View on GitHub
  Analog circuit simulation library; wrapper for ngspice
  ☆10Aug 31, 2020Updated 5 years ago
• ChihChengLiang / modexp

  View on GitHub
  ☆12Sep 6, 2020Updated 5 years ago
• blekmus / spotify-backup

  View on GitHub
  Backup your spotify data.
  ☆12Jun 10, 2025Updated 8 months ago
• mmcqd / higher-standard

  View on GitHub
  Higher kinded polymorphism in SML
  ☆15Sep 2, 2020Updated 5 years ago
• microsoft / vOW4SIKE

  View on GitHub
  The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…
  ☆12May 25, 2021Updated 4 years ago
• UTSASRG / Guarder

  View on GitHub
  ☆13Oct 10, 2018Updated 7 years ago
• Bogdanp / racket-kafka

  View on GitHub
  A Kafka client for Racket.
  ☆18Aug 4, 2025Updated 6 months ago
• kurocha / concurrent

  View on GitHub
  ☆13May 6, 2023Updated 2 years ago
• janestreet / sexplib0

  View on GitHub
  Library containing the definition of S-expressions and some base converters
  ☆20Jan 15, 2026Updated last month
• ringabout / xio

  View on GitHub
  IO engine for Nim.
  ☆10Jul 8, 2024Updated last year
• rutgers-apl / TaskProf

  View on GitHub
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Feb 13, 2018Updated 8 years ago
• batsh-dev-team / Dlist

  View on GitHub
  Difference list library for OCaml
  ☆35Jul 21, 2020Updated 5 years ago
• camlp5 / camlp5

  View on GitHub
  Preprocessor / Pretty Printer for OCaml
  ☆76Oct 7, 2025Updated 4 months ago
• preston-evans98 / bitcoin-warp

  View on GitHub
  Bitcoin. Rust.
  ☆10Feb 4, 2021Updated 5 years ago
• zacharycarter / nim-playground

  View on GitHub
  An interactive playground for the Nim programming language
  ☆14Jul 20, 2019Updated 6 years ago
• ahirner / nim-ffmpeg

  View on GitHub
  Nim (the language) bindings for ffmpeg
  ☆10Nov 2, 2017Updated 8 years ago
• mratsim / finite-fields

  View on GitHub
  Experimental finite field primitives (and maybe more)
  ☆11Jul 24, 2020Updated 5 years ago
• kwantam / fffft

  View on GitHub
  fft impl for ff::Field
  ☆17May 9, 2024Updated last year
• shwestrick / smlfmt

  View on GitHub
  A custom parser/auto-formatter for Standard ML
  ☆88Jan 1, 2026Updated last month
• csvitlik / static_analysis_tools

  View on GitHub
  A list of C static analysis tools
  ☆12Mar 10, 2017Updated 8 years ago
• Octachron / ffmt

  View on GitHub
  Format string experimentations
  ☆13Jul 19, 2021Updated 4 years ago
• rusnikola / wfe

  View on GitHub
  Wait-Free Eras (PPoPP '20)
  ☆10Jan 11, 2020Updated 6 years ago
• Ethosa / telenim

  View on GitHub
  The telegram framework written in Nim
  ☆11Jun 26, 2020Updated 5 years ago
• massivethreads / tp-parsec

  View on GitHub
  TP-PARSEC: A Task Parallel PARSEC Benchmark Suite
  ☆11Nov 1, 2020Updated 5 years ago
• gildor478 / ocaml-fileutils

  View on GitHub
  ☆30Aug 10, 2025Updated 6 months ago
• balez / generic

  View on GitHub
  Generic Programming Library for OCaml
  ☆34Mar 29, 2017Updated 8 years ago
• ulrikstrid / logs-ppx

  View on GitHub
  ☆14Aug 7, 2021Updated 4 years ago
• leobago / BSC-ETH2

  View on GitHub
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Dec 8, 2022Updated 3 years ago
• status-im / S-Pesa

  View on GitHub
  Smart Pesa - a USSD/SMS Interface to Smart Contracts, #defi & Decentralised Applications
  ☆11Sep 30, 2019Updated 6 years ago
• shaih / cpp-lwevss

  View on GitHub
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Oct 18, 2021Updated 4 years ago