Alternatives and similar repositories for Orimath

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

• susisu / est-ocaml

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• na0214 / snail

  View on GitHub
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆13Dec 3, 2020Updated 5 years ago
• bcarruthers / garnet-platformer

  View on GitHub
  Simple platformer demo using Garnet
  ☆16Nov 5, 2021Updated 4 years ago
• thinkbeforecoding / nomemalloc

  View on GitHub
  Moved to Codeberg
  ☆15Apr 5, 2025Updated 10 months ago
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• cannorin / FSharp.CommandLine

  View on GitHub
  A framework for building command line application in F#
  ☆59May 5, 2022Updated 3 years ago
• JordanMarr / FSharp.ChordParser

  View on GitHub
  Parses and transposes a chord chart.
  ☆18Jun 22, 2025Updated 7 months ago
• baracoder / dotnet2nix

  View on GitHub
  Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now
  ☆11Oct 11, 2022Updated 3 years ago
• tatsuya-midorikawa / Fxcel

  View on GitHub
  Excel COM Wrapper Library for F#
  ☆19Nov 21, 2021Updated 4 years ago
• yuyay / DEIM2022_XAI_tutorial

  View on GitHub
  ☆12Feb 27, 2022Updated 3 years ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• JordanMarr / Fable.FormValidation

  View on GitHub
  A Fable React hook library for validating UI inputs and displaying error messages
  ☆16Feb 13, 2025Updated last year
• cogas / hajiloji

  View on GitHub
  はじめてのロジバン第二版
  ☆14Jul 23, 2018Updated 7 years ago
• fffsharp / Forum

  View on GitHub
  ☆12Mar 20, 2022Updated 3 years ago
• E869120 / Othello_AI_E869120

  View on GitHub
  モンテカルロ木探索を用いたオセロの AI です。
  ☆24Aug 17, 2021Updated 4 years ago
• shiroyagicorp / sitq

  View on GitHub
  Learning to Hash for Maximum Inner Product Search
  ☆12Jan 21, 2022Updated 4 years ago
• yutopp / obeam

  View on GitHub
  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
  ☆16Aug 27, 2019Updated 6 years ago
• mykolav / coollang-2020-fs

  View on GitHub
  Compiler for a small Scala subset
  ☆38Apr 4, 2025Updated 10 months ago
• mrbandler / FsFirestore

  View on GitHub
  Functional F# library to access Firestore database hosted on Google Cloud Platform (GCP) or Firebase.
  ☆26Apr 11, 2021Updated 4 years ago
• dbuenzli / otfm

  View on GitHub
  OpenType font decoder for OCaml
  ☆20May 20, 2024Updated last year
• cannorin / nml

  View on GitHub
  Nazo ML - my toy programming language
  ☆59Aug 11, 2020Updated 5 years ago
• hppRC / generativereact

  View on GitHub
  Generative Art written in React
  ☆12Jan 4, 2023Updated 3 years ago
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• 0xGeorgii / SharpLogic

  View on GitHub
  Open source F# mathematical logic library.
  ☆12May 16, 2022Updated 3 years ago
• dinosaure / mimic

  View on GitHub
  A dynamic way to instantiate an OCaml flow
  ☆17Jun 25, 2024Updated last year
• alfonsogarciacaro / vscode-template-fsharp-highlight

  View on GitHub
  Highlight F# template strings in VS Code
  ☆28Oct 3, 2022Updated 3 years ago
• WhiteBlackGoose / LambdaCalculusFSharp

  View on GitHub
  λ calculus library made purely in and for F#
  ☆36Jun 7, 2023Updated 2 years ago
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• davnavr / FSharpIL

  View on GitHub
  An F# library for writing and reading .NET assemblies and modules
  ☆12Aug 30, 2021Updated 4 years ago
• mrdimosthenis / BlindfoldChessTraining

  View on GitHub
  Chess application for Android and iOS, written in F#
  ☆12Feb 21, 2025Updated 11 months ago
• Apress / stylish-f-sharp-6

  View on GitHub
  Source code for 'Stylish F# 6' by Kit Eason
  ☆16Jan 11, 2022Updated 4 years ago
• fslaborg / flips

  View on GitHub
  Fsharp LInear Programming System
  ☆271Jan 21, 2026Updated 3 weeks ago
• Krzyhau / MinecraftPlaysPortal

  View on GitHub
  Dumb project utilizing my minecraft server poorly written from scratch in C++
  ☆16Feb 24, 2021Updated 4 years ago
• MarneeDear / chickadee

  View on GitHub
  F# for APRS (ham radio)
  ☆16Jun 3, 2020Updated 5 years ago
• ToruNiina / separo-rs

  View on GitHub
  An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.
  ☆20Sep 27, 2020Updated 5 years ago
• tatsuya-midorikawa / Funtom.linq

  View on GitHub
  ☆36Apr 1, 2023Updated 2 years ago
• garrigue / certint

  View on GitHub
  A Certified Interpreter for ML with Structural Polymorphism
  ☆45Apr 11, 2025Updated 10 months ago
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• itleigns / CoqLibrary

  View on GitHub
  Coqで様々な数学の定理を証明
  ☆18Nov 13, 2022Updated 3 years ago