LaTeX template for Marie Sklodowska-Curie Individual Fellowships application (H2020-MSCA-IF-2016)
☆13Jan 1, 2019Updated 7 years ago
Alternatives and similar repositories for H2020-MSCA-IF-2016
Users that are interested in H2020-MSCA-IF-2016 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- Spletna storitev za generiranje nalog☆18Mar 24, 2023Updated 3 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A ML-like pure functional language that can be used as a template for creating your own language☆34Updated this week
- Plain-text declaration export for Lean 4☆48Oct 14, 2026Updated 2 weeks ago
- A (formalised) general definition of type theories☆59Oct 14, 2026Updated 2 weeks ago
- Simplified Observational Type Theory☆93Feb 17, 2026Updated 8 months ago
- Formalising Type Theory in a modular way for translations between type theories☆97Jan 10, 2018Updated 8 years ago
- DESC Core Cosmology Library: cosmology routines with validated numerical accuracy☆161Oct 14, 2026Updated 2 weeks ago
- Implementation of Univalence in Cubical Sets☆145Jul 19, 2015Updated 11 years ago
- Selected Papers of Dana S. Scott☆178Jun 20, 2024Updated 2 years ago
- ☆170Nov 5, 2019Updated 6 years 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.
- The People's Refinement Logic☆229Jan 1, 2023Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- An implementation in TensorFlow of a convolutional neural network (CNN) to perform sentiment classification on tweets.☆154Feb 8, 2018Updated 8 years ago
- Normalizing-flow enhanced sampling package for probabilistic inference in Jax☆265Oct 28, 2025Updated last year
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆287Updated this week
- The agda-unimath library☆319Oct 18, 2026Updated last week
- The collected works of F. W. Lawvere☆400Sep 6, 2024Updated 2 years ago
- Make some beautiful corner plots☆578Updated this week
- Deep Neural Network for Sentiment Analysis on Twitter☆276Jun 21, 2022Updated 4 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.
- Experimental implementation of Cubical Type Theory☆609Sep 21, 2023Updated 3 years ago
- A C++ Algorithmic Differentiation Package: Home Page☆594Oct 7, 2026Updated 3 weeks ago
- papers of Per Martin Löf☆834Jan 30, 2024Updated 2 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆1,021Updated this week
- Zep - An embeddable editor, with optional support for using vim keystrokes.☆1,042May 23, 2026Updated 5 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,157Oct 18, 2026Updated last week
- ☆867Feb 6, 2025Updated last year
- A Coq library for Homotopy Type Theory☆1,406Updated this week
- This is the code for "DeepFakes" by Siraj Raval on Youtube☆982Apr 22, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- sentence embedding by Smooth Inverse Frequency weighting scheme☆1,087Jul 23, 2019Updated 7 years ago
- A Theano framework for building and training neural networks☆1,151Feb 19, 2019Updated 7 years ago
- Toy Python implementation of http://www-nlp.stanford.edu/projects/glove/☆1,254Feb 19, 2022Updated 4 years ago
- Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, MySQL, Duck…☆2,139Oct 19, 2026Updated last week
- automatic differentiation made easier for C++☆1,964Jan 27, 2025Updated last year
- A textbook on informal homotopy type theory☆2,173Jun 18, 2026Updated 4 months ago
- Simple web service providing a word embedding model☆1,438May 1, 2023Updated 3 years ago