Alternatives and similar repositories for foma

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

• rudolferemyan / georgian_nlp

  View on GitHub
  Data and tools for processing Georgian texts
  ☆10Dec 4, 2016Updated 9 years ago
• tomdjong / thesis-template

  View on GitHub
  Template for a (PhD) thesis
  ☆10Nov 5, 2025Updated 3 months ago
• punkdit / categories

  View on GitHub
  Archive of the categories mailling list
  ☆11Sep 8, 2020Updated 5 years ago
• OpenVAA / voting-advice-application

  View on GitHub
  An open-source platform for creating Voting Advice Applications (VAAs)
  ☆20Updated this week
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• getodk / sample-forms

  View on GitHub
  ODK Sample Forms
  ☆12Mar 23, 2019Updated 6 years ago
• coltekin / TRmorph

  View on GitHub
  A finite-state morphological analyzer for Turkish
  ☆186Sep 23, 2023Updated 2 years ago
• YerevaNN / translit-rnn

  View on GitHub
  Automatic transliteration with LSTM
  ☆92Dec 7, 2018Updated 7 years ago
• LocalCharts / silviculture

  View on GitHub
  ☆16Jun 9, 2024Updated last year
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• nexttracks / android

  View on GitHub
  Mirror of https://codeberg.org/nexttracks/android
  ☆10Oct 7, 2020Updated 5 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• RMHogervorst / unicorns_on_unicycles

  View on GitHub
  A dataset of 'historical' data, useful for munging/ cleaning practice
  ☆13Mar 12, 2018Updated 7 years ago
• emacsmirror / zotero

  View on GitHub
  Library for the Zotero API
  ☆15Jan 15, 2024Updated 2 years ago
• pbs-software / pbs-mapping

  View on GitHub
  R package PBSmapping - Mapping fisheries data and spatial analysis tools
  ☆11Jun 10, 2025Updated 8 months ago
• nibi79 / zigbee2mqtt

  View on GitHub
  Zigbee2Mqtt Binding
  ☆11May 10, 2019Updated 6 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• cofibrant / agda-nbe

  View on GitHub
  Verified NbE via gluing in Agda
  ☆11May 19, 2024Updated last year
• bekatom / geo-services

  View on GitHub
  RS(შემოსავლების სამსახურის) & NBG(ეროვნული ბანკის) სერვისების კლიენტი პითონზე
  ☆15Jul 16, 2015Updated 10 years ago
• Esukhia / dakje-desktop

  View on GitHub
  ✒️ དག་བྱེད། Dakje, improving your spelling and readability
  ☆11Jul 19, 2022Updated 3 years ago
• mihirlad55 / dwmipcpp

  View on GitHub
  A C++ client library for communication with an IPC-patched dwm
  ☆10Jul 24, 2020Updated 5 years ago
• martinescardo / EffectfulForcing

  View on GitHub
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Sep 21, 2021Updated 4 years ago
• technopwnsauce / wps-pwn

  View on GitHub
  Interactive python script for exploiting WPS on access points. Works well with Kali 2.0. (Disclaimer: I'm not responsible for any illeg…
  ☆10Sep 25, 2016Updated 9 years ago
• YCICI / EAST-OpenCv

  View on GitHub
  OpenCV Text Detection (EAST text detector)
  ☆12Jul 15, 2019Updated 6 years ago
• cube-js / stripe-schema

  View on GitHub
  Cube.js Data Schema Package for Stripe
  ☆13Nov 7, 2018Updated 7 years ago
• DarkBuffalo / doom-verde-theme

  View on GitHub
  verde
  ☆10Jun 2, 2022Updated 3 years ago
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated 5 months ago
• srcery-colors / srcery-web

  View on GitHub
  Srcery theme various web assets
  ☆12May 3, 2025Updated 9 months ago
• pA0k / spacemacs-korean

  View on GitHub
  korean layer for spacemacs
  ☆11May 15, 2020Updated 5 years ago
• m-yac / agda-knots

  View on GitHub
  An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
  ☆15Oct 15, 2018Updated 7 years ago
• nextgis / formbuilder

  View on GitHub
  Data collection forms builder for NextGIS Mobile
  ☆12Apr 9, 2025Updated 10 months ago
• jonsterling / coq-guarded-computational-type-theory

  View on GitHub
  ☆21Apr 15, 2018Updated 7 years ago
• supernova-ge / Jipitauri

  View on GitHub
  Georgian chat bot based on GPT-3
  ☆10Nov 19, 2024Updated last year
• mardan / Uyghur-SpellChecking-Lib

  View on GitHub
  An Uyghur spell checking library written in .NET
  ☆15Jan 19, 2014Updated 12 years ago
• iblech / scheme-theory-in-agda

  View on GitHub
  A formalization of synthetic algebraic geometry in Agda
  ☆14Jan 5, 2019Updated 7 years ago
• joom / chalk

  View on GitHub
  Simple terminal string styling in Haskell.
  ☆12Sep 14, 2016Updated 9 years ago
• erengy / moonstar

  View on GitHub
  MoonStar Türkçe Dil Kılavuzu
  ☆16Aug 2, 2014Updated 11 years ago
• jonsterling / topos-theory-notes

  View on GitHub
  ☆10May 3, 2017Updated 8 years ago
• garberw / openwith

  View on GitHub
  Open files with external programs
  ☆14Feb 17, 2020Updated 5 years ago