Alternatives and similar repositories for trompe

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

• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• fold-lang / fold

  View on GitHub
  A meta-language for OCaml. (Unreleased)
  ☆25Aug 29, 2025Updated 5 months ago
• oklm-wsh / MrMime

  View on GitHub
  What do you mean ?
  ☆29Aug 28, 2018Updated 7 years ago
• syarul / keet

  View on GitHub
  Minimalist view layer for the web https://syarul.github.io/keet
  ☆11Jan 4, 2023Updated 3 years ago
• nilq / hugorm

  View on GitHub
  🐍 A Python-like scripting language
  ☆32Jun 8, 2020Updated 5 years ago
• aryx / efuns

  View on GitHub
  An Emacs clone written in OCaml
  ☆33Updated this week
• s-andy / issue_id

  View on GitHub
  GitHub mirror of the ISSUE-id plugin for Redmine.
  ☆10Dec 5, 2021Updated 4 years ago
• the-neutron-foundation / neutron-language

  View on GitHub
  A simple, extensible and efficient programming language based on C and Python
  ☆32Jun 7, 2022Updated 3 years ago
• lpw25 / ocaml-typed-effects

  View on GitHub
  OCaml with typed algebraic effects
  ☆52Oct 12, 2018Updated 7 years ago
• jingle-lang / jingle

  View on GitHub
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Feb 19, 2021Updated 4 years ago
• dakk / yallo-lang

  View on GitHub
  A smart contract language for Tezos
  ☆12Mar 25, 2022Updated 3 years ago
• ANSSI-FR / ProTIP

  View on GitHub
  ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express
  ☆10Nov 9, 2023Updated 2 years ago
• maccman / wysiwyg

  View on GitHub
  ☆103May 28, 2013Updated 12 years ago
• Hermes / hermes

  View on GitHub
  An open-source redundant distributed storage network
  ☆17Oct 3, 2014Updated 11 years ago
• thani-sh / pdf-index

  View on GitHub
  Index and Search Your Private PDF Collection
  ☆18Jan 16, 2016Updated 10 years ago
• tomjridge / tjr_btree

  View on GitHub
  B-tree (Bayer, not binary) library in OCaml
  ☆40Feb 1, 2022Updated 4 years ago
• anton-iermolenko / Photo-library-toolkit

  View on GitHub
  Autonames media files (photos & videos) in your photo library in chronological order. Copy photo/video taken date to file's creation and …
  ☆14Mar 25, 2016Updated 9 years ago
• aryx / lfs

  View on GitHub
  logic file system
  ☆27Mar 16, 2018Updated 7 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• cdouglass / samara

  View on GitHub
  An interpreter for a small ML-ish language
  ☆11Oct 6, 2017Updated 8 years ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• divyankachaudhari / ocaml-practice-exercises

  View on GitHub
  Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform
  ☆10Sep 17, 2024Updated last year
• leonardosimoura / ElasticsearchQuery

  View on GitHub
  IQueryable implementation for Elasticsearch
  ☆11Jul 17, 2023Updated 2 years ago
• mariniss / mylibrary-contracts

  View on GitHub
  Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach
  ☆11Feb 15, 2018Updated 7 years ago
• Alpzy / Focus-Dimmer

  View on GitHub
  An extension for Visual Studio that when enabled, darkens the colors of the code except for the block that is being currently worked on.
  ☆10Nov 15, 2020Updated 5 years ago
• labichn / hmc

  View on GitHub
  Hindley-Milner with contracts
  ☆11Dec 5, 2015Updated 10 years ago
• xapi-project / xenopsd

  View on GitHub
  XCP toolstack domain manager
  ☆16Mar 5, 2024Updated last year
• Cleancodefactory / BindKraft

  View on GitHub
  An OOP Javascript platform/framework with data binding, in-page windows and vast API aimed at WEB development that treats WEB pages as de…
  ☆12Aug 11, 2025Updated 6 months ago
• ocaml-opam / opam2web

  View on GitHub
  A tool to generate a website from an opam repository
  ☆59Dec 1, 2025Updated 2 months ago
• dakk / bitcoinml

  View on GitHub
  Bitcoin data-structures library for OCaml
  ☆43Jun 3, 2020Updated 5 years ago
• potatosalad / erlang-crypto_rsassa_pss

  View on GitHub
  RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.
  ☆12Jul 28, 2019Updated 6 years ago
• saadeghi / remix-daisyui

  View on GitHub
  ☆10Feb 3, 2022Updated 4 years ago
• kadoshita / kisei-online

  View on GitHub
  手軽に使える，オンライン帰省用ビデオ通話ツール
  ☆11Oct 30, 2023Updated 2 years ago
• tnoho / custom-momo

  View on GitHub
  ☆10Jan 19, 2020Updated 6 years ago
• aws / ec2-macos-system-monitor

  View on GitHub
  Amazon EC2 System Monitor for macOS is the on instance agent that provides basic CloudWatch metrics like CPU Utilization.
  ☆13Sep 8, 2025Updated 5 months ago
• melpon / grpc-over-ayame

  View on GitHub
  gRPC over WebRTC Data Channels with signaling Ayame.
  ☆11Jun 28, 2020Updated 5 years ago
• gchaw / wattless

  View on GitHub
  GPU-accelerated AES encryption project
  ☆11Feb 13, 2015Updated 11 years ago
• gcp / opus-tools

  View on GitHub
  Commandline tools for the Opus audio codec
  ☆13Jun 24, 2017Updated 8 years ago