szktty / trompeView external linksLinks
A strongly-typed handy scripting language with type inference
☆14Aug 31, 2018Updated 7 years ago
Alternatives and similar repositories for trompe
Users that are interested in trompe are comparing it to the libraries listed below
Sorting:
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- A meta-language for OCaml. (Unreleased)☆25Aug 29, 2025Updated 5 months ago
- What do you mean ?☆29Aug 28, 2018Updated 7 years ago
- Minimalist view layer for the web https://syarul.github.io/keet☆11Jan 4, 2023Updated 3 years ago
- 🐍 A Python-like scripting language☆32Jun 8, 2020Updated 5 years ago
- An Emacs clone written in OCaml☆33Updated this week
- GitHub mirror of the ISSUE-id plugin for Redmine.☆10Dec 5, 2021Updated 4 years ago
- A simple, extensible and efficient programming language based on C and Python☆32Jun 7, 2022Updated 3 years ago
- OCaml with typed algebraic effects☆52Oct 12, 2018Updated 7 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 4 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆10Nov 9, 2023Updated 2 years ago
- ☆103May 28, 2013Updated 12 years ago
- An open-source redundant distributed storage network☆17Oct 3, 2014Updated 11 years ago
- Index and Search Your Private PDF Collection☆18Jan 16, 2016Updated 10 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Feb 1, 2022Updated 4 years ago
- 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
- logic file system☆27Mar 16, 2018Updated 7 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- IQueryable implementation for Elasticsearch☆11Jul 17, 2023Updated 2 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 7 years ago
- 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
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated last year
- 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
- A tool to generate a website from an opam repository☆59Dec 1, 2025Updated 2 months ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 5 years ago
- RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.☆12Jul 28, 2019Updated 6 years ago
- ☆10Feb 3, 2022Updated 4 years ago
- 手軽に使える,オンライン帰省用ビデオ通話ツール☆11Oct 30, 2023Updated 2 years ago
- ☆10Jan 19, 2020Updated 6 years ago
- 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
- gRPC over WebRTC Data Channels with signaling Ayame.☆11Jun 28, 2020Updated 5 years ago
- GPU-accelerated AES encryption project☆11Feb 13, 2015Updated 11 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 8 years ago