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
• chrispiech / pensieve
  An open source tool for providing feedback for students
  ☆16Updated 6 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 7 years ago
• krishraghav / caaprotests-global
  Ways to Support the #CABProtests from Afar
  ☆11Updated 5 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• jproft / Scandroid
  A program for automated scansion of verse.
  ☆19Updated 10 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 2 weeks ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆91Updated 10 months ago
• rossgoodwin / trumpocalypse
  A book of poetry, computationally generated from Donald Trump quotes
  ☆18Updated 9 years ago
• Pinafore / qb-api
  Server side API for QANTA quiz bowl system
  ☆10Updated 6 years ago
• HarvardOpenData / HarvardOpenData.github.io
  Harvard's first open data catalog
  ☆59Updated last year
• clld / wals3
  The World Atlas Of Language Structures Online
  ☆128Updated 3 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• open-editions / corpus-joyce-ulysses-tei
  James Joyce's novel Ulysses in TEI XML. Work-in-progress.
  ☆20Updated 3 years ago
• PerseusDL / treebank_data
  Perseus Treebank Data
  ☆72Updated 10 months ago
• aparrish / gutenberg-dammit
  I wanted all of plaintext Project Gutenberg in an easy-to-use format, so I made this
  ☆222Updated last year
• sivareddyg / UDepLambda
  A framework to convert Universal Dependencies to Logical Forms
  ☆89Updated 4 years ago
• textcreationpartnership / Texts
  the EEBO TCP texts
  ☆34Updated 7 years ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated last month
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆26Updated 2 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• affeldt-aist / infotheo
  A Coq formalization of information theory and linear error-correcting codes
  ☆69Updated this week
• 0xnurl / fado-python3
  A quick Python 3 port of the FAdo Project
  ☆15Updated 7 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 10 months ago
• spyysalo / annodoc
  Annodoc annotation documentation support system
  ☆34Updated 4 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago