LaTeX MSc and PhD Thesis Template - Instituto Superior Técnico
☆28Jun 16, 2023Updated 2 years ago
Alternatives and similar repositories for ThesisIST
Users that are interested in ThesisIST are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified Extraction from Rocq to OCaml/Malfunction☆14Mar 12, 2026Updated last month
- Micromega tactics for Mathematical Components☆28Mar 25, 2026Updated last month
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 6 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆16Mar 19, 2026Updated last month
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Apr 13, 2026Updated 2 weeks ago
- A system for word sense induction and disambiguation based on JoBimText approach☆16Feb 14, 2018Updated 8 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- Class instances for Coq inductive types with little boilerplate☆27Updated this week
- Automatic Detection of Potentially Idiomatic Expressions☆12Feb 19, 2021Updated 5 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Simple CORPORA list crawler☆10Dec 2, 2016Updated 9 years ago
- Expletives vomiting library...☆13Apr 18, 2026Updated last week
- A simple Python wrapper for the ClearNLP constituents-to-dependencies converter☆11Nov 2, 2015Updated 10 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆24Mar 25, 2026Updated last month
- ☆13Jul 27, 2017Updated 8 years ago
- Recommender systems in Python☆50Jan 21, 2015Updated 11 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆44Mar 5, 2026Updated last month
- all-paths graph kernel for protein-protein interaction extraction☆12Apr 22, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆46Apr 2, 2026Updated 3 weeks ago
- Scala JSON-RPC server for Stanford CoreNLP☆10Nov 9, 2021Updated 4 years ago
- Python scripts to read a Portuguese Wikipedia XML dump file, parse it and generate plain text files.☆14Mar 12, 2014Updated 12 years ago
- Maltparser trained with the Universal Dependency Treebank for Brazilian-Portuguese Language☆12May 25, 2015Updated 10 years ago
- RhetoricalRecursiveNeuralNetwork(R2N2) is recursive neural network using RST for NLP Tasks such as Sentiment Analysis☆12Sep 2, 2015Updated 10 years ago
- A Utility Library for Wikipedia dumps☆33Feb 24, 2017Updated 9 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 6 months ago
- Parikh et al., A Decomposable Attention Model for Natural Inference☆17Feb 12, 2018Updated 8 years ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆63Jan 15, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Multiclass and multilabel datasets in Vowpal Wabbit format☆12Apr 17, 2018Updated 8 years ago
- LDA workshop presented by Fast Forward Labs☆15Jun 26, 2019Updated 6 years ago
- Initializing neural networks for hierarchical multi-label text classification☆11Mar 1, 2019Updated 7 years ago
- ☆15Apr 17, 2018Updated 8 years ago
- Type-annotate your spark dataframes and validate them☆14Feb 5, 2026Updated 2 months ago
- A framework for graph-based dependency parsing.☆19Feb 9, 2022Updated 4 years ago
- Python evaluation scripts for AIDA-formatted CoNLL data☆20Aug 4, 2014Updated 11 years ago