Alternatives and similar repositories for aseemsDB

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

• mostafab / neg5.main
  Quizbowl tournament management system based in the cloud
  ☆15Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated last week
• Pinafore / qb-api
  Server side API for QANTA quiz bowl system
  ☆10Updated 6 years ago
• TheMITTech / thetech.com
  The content management system and frontend website for The Tech, MIT's oldest and largest newspaper.
  ☆21Updated last month
• chrispiech / pensieve
  An open source tool for providing feedback for students
  ☆16Updated 6 years ago
• OpenNMT / Recipes
  Recipes for training OpenNMT systems
  ☆14Updated 7 years ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 3 months ago
• esterpantaleo / etymology
  This repository contains code behind the visualization of the Wikimedia tool etytree at http://tools.wmflabs.org/etytree/
  ☆51Updated 5 years ago
• HarvardOpenData / HarvardOpenData.github.io
  Harvard's first open data catalog
  ☆59Updated last year
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆92Updated 10 months ago
• DH-Box / corpus-downloader
  A command-line program to download text corpora.
  ☆34Updated 7 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆102Updated this week
• Ladsgroup / Kian
  Kian is the neural network designed to serve Wikidata.
  ☆21Updated 6 years ago
• ucbvislab / vdigests
  ☆16Updated 4 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 2 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆153Updated 7 months ago
• slebok / bibsleigh
  The extensive approach to SLE bibliography
  ☆29Updated 4 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• rspeer / wikiparsec
  An LL parser for extracting information from Wiki text, particularly Wiktionary.
  ☆49Updated last year
• manexagirrezabal / zeuscansion
  ZeuScansion is a fst-based system capable of performing metrical scansion of poetry written in English.
  ☆38Updated 2 years ago
• google / unimorph
  ☆20Updated 7 years ago
• eprover / eprover
  ☆141Updated last week
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 4 months ago
• averykatko / buffalo
  English is fun
  ☆9Updated 9 years ago
• elexis-eu / lexonomy
  A cloud-based, open-source system for writing and publishing dictionaries.
  ☆91Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• concepticon / concepticon-data
  The curation repository for the data behind Concepticon.
  ☆38Updated 2 weeks ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆131Updated 5 months ago
• Workday / upshot-montague
  Montague is a little CCG semantic parsing library for Scala.
  ☆59Updated 2 years ago
• mscroggs / Logic-Bot
  @mathslogicbot
  ☆20Updated 2 years ago