tianxiaogu / beamertheme-njupurpleView external linksLinks
A beamer theme for NJU.
☆15Nov 1, 2015Updated 10 years ago
Alternatives and similar repositories for beamertheme-njupurple
Users that are interested in beamertheme-njupurple are comparing it to the libraries listed below
Sorting:
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Nov 13, 2025Updated 3 months ago
- mobile DFF dataset☆12Nov 26, 2018Updated 7 years ago
- ☆11Oct 2, 2020Updated 5 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- The first high school physics Olympiad benchmark for evaluating (M)LLMs with step-level grading and human-level comparison.☆26Dec 19, 2025Updated last month
- ☆11Mar 3, 2021Updated 4 years ago
- ☆11Oct 21, 2023Updated 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Mar 8, 2016Updated 9 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- ☆10Jan 30, 2025Updated last year
- General neural tactic for Lean 4☆25Feb 6, 2026Updated last week
- Use deep neural networks to synthesize the Neuroscore for evaluating Generative Adversarial Networks☆10Jun 1, 2020Updated 5 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- This repository includes a realization of the resilient projection-based consensus actor-critic algorithm that is resilient to adversaria…☆11May 23, 2022Updated 3 years ago
- A pytorch implementation of Learning Detail-Structure Alternative Optimization for Blind Super-Resolution.☆15Nov 20, 2022Updated 3 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Updated this week
- [Archived] Move to agentsociety☆17Feb 6, 2025Updated last year
- [ICIP2023] ELIEI: Enhancing Low-light Images Using Infrared Encoded Images☆15Oct 17, 2023Updated 2 years ago
- a Python library for combinatorial exploration☆12Jan 29, 2026Updated 2 weeks ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- This project is a Python implementation of ax-pipeline.☆14May 6, 2024Updated last year
- Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.☆15Jul 31, 2023Updated 2 years ago
- Testing how networks perform when data are collected using different cameras☆11Sep 10, 2024Updated last year
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- Constraint-based Learning with Neural Networks☆15Dec 7, 2020Updated 5 years ago
- ☆16Nov 23, 2021Updated 4 years ago
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated last year
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- Real-world video deblurring by synthesizing realistic blurs in RAW space☆11Jun 21, 2023Updated 2 years ago
- Some binaries built for Ubuntu 18.04 (Pandoc and TeXLive)☆18Dec 21, 2023Updated 2 years ago
- A feature-rich RAW developer for Magic Lantern formats.☆15Nov 24, 2018Updated 7 years ago
- ANFIC: Image Compression Using Augmented Normalizing Flows☆11Dec 31, 2021Updated 4 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 weeks ago