A Material Design Beamer Theme
☆17Nov 26, 2017Updated 8 years ago
Alternatives and similar repositories for MaterialBeamer
Users that are interested in MaterialBeamer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Word embeddings trained on medical subreddits.☆10Jan 4, 2021Updated 5 years ago
- (Unofficial) Code for the paper "Certifying Some Distributional Robustness with Principled Adversarial Training"☆13May 31, 2018Updated 7 years ago
- 为wps写的wakatime插件☆15Nov 25, 2020Updated 5 years ago
- This code is for the paper "Confident Multiple Choice Learning".☆17Aug 4, 2018Updated 7 years ago
- Lecture Notes (with exercises) for Basic Probability course at University of Amsterdam☆17Sep 7, 2018Updated 7 years ago
- 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.
- MedXN is a medication normalization system built upon Apache UIMA framework.☆25Jan 24, 2024Updated 2 years ago
- Linux kernel driver for the Logitech mouse M560/M545/M546☆16Mar 19, 2018Updated 8 years ago
- 基於 TikZ 水印的 upLaTeX genko (原稿紙) 的重寫☆13Sep 28, 2019Updated 6 years ago
- Code to reproduce the paper Working Memory Networks☆26Jun 28, 2018Updated 7 years ago
- latex thesis template on overleaf☆13Mar 10, 2018Updated 8 years ago
- Development of ifcOWL☆13Apr 25, 2023Updated 2 years ago
- This is code I wrote within less than an hour so as to very roughly draft how I would code a Dynamic RNN Attention Decoder Tree with PyTo…☆31Mar 23, 2020Updated 6 years ago
- Use mvdXML to validate IFC models☆14Jan 29, 2015Updated 11 years ago
- Web content extraction using machine learning☆34Mar 3, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- BIMJSON is a format for encoding Minimal Viable BIMs (MVB) for exchange through RESTFul web services.☆22Aug 12, 2018Updated 7 years ago
- Clinical Concept Extraction with Contextual Word Embedding☆41May 27, 2020Updated 5 years ago
- Selected Works of Mao Tse-Tung☆16May 26, 2020Updated 5 years ago
- 调用TTS来播报哔哩哔哩直播中的弹幕、礼物、舰长等☆24Mar 5, 2026Updated 3 weeks ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 天猫爬虫☆17Feb 4, 2013Updated 13 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 2 months ago
- Implementation of several grid routers in Rust☆13Feb 28, 2026Updated 3 weeks ago
- simple Elf disassembler☆10Dec 30, 2014Updated 11 years ago
- A LaTeX template that mimics Microsoft Word’s look and feel☆29Mar 16, 2020Updated 6 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆22Jul 24, 2025Updated 8 months ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Mar 8, 2026Updated 2 weeks ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- A design automation framework to engineer decision diagrams yourself☆25Mar 13, 2026Updated last week
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- LaTeX 入门手册中文版☆24Dec 17, 2014Updated 11 years ago