LaTeX Styles provided by Dagstuhl Publishing
☆40Nov 6, 2024Updated last year
Alternatives and similar repositories for styles
Users that are interested in styles are comparing it to the libraries listed below
Sorting:
- Advent of Code 2020 solutions in Lean 4☆27Jan 5, 2021Updated 5 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- Geometry types☆33Jan 6, 2021Updated 5 years ago
- This cheat sheet summarizes commonly used sfdx command line instructions for quick reference.☆12Jul 5, 2019Updated 6 years ago
- 日本十進分類法のIME辞書☆11Dec 8, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- SIARD (Software Independent Archiving of Relational Databases) - an open file format for the long-term archiving of relational databases☆12Nov 14, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 7 months ago
- Machine Learning Reading Group☆11Sep 15, 2023Updated 2 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 4 months ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- openBD Chrome Extension☆11Feb 7, 2017Updated 9 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- TEIガイドラインへの準拠の仕方を日本語で解説します。☆12Feb 15, 2021Updated 5 years ago
- a collection of presentations using Github pages☆13May 23, 2019Updated 6 years ago
- SRP (Secure Remote Password) 6/6a library for Elixir☆12Nov 5, 2017Updated 8 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- ☆13Jan 7, 2026Updated 2 months ago
- Numpy like ndarray and dataframe library for nim-lang.☆13Aug 6, 2020Updated 5 years ago
- The office hours queue for Carnegie Mellon's 15-122 course.☆12Feb 25, 2023Updated 3 years ago
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆18Updated this week
- A frontend for the Racket Package Catalog.☆13Feb 7, 2026Updated last month
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- ☆11Sep 1, 2020Updated 5 years ago
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆12Dec 17, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- RDF describing Creative Commons licenses☆13Mar 7, 2024Updated 2 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- DOI metadata retriever and parser gem for Ruby☆10Nov 12, 2020Updated 5 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Utilities to create videos from MuseScore files☆14Apr 2, 2025Updated 11 months ago
- Decentralized game universe in which players can explore worlds made by others.☆11Mar 11, 2023Updated 2 years ago
- Simple Digital Library Toolkit☆10Jan 12, 2026Updated last month
- Proper English title capitalization of a marked region☆11Nov 4, 2018Updated 7 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago