dagstuhl-publishing / stylesView external linksLinks
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 2 months ago
- ☆20Jan 3, 2026Updated last month
- celestial automaton☆10Mar 21, 2018Updated 7 years ago
- Snippets to play with mutation testing☆17Feb 16, 2013Updated 13 years ago
- 日本十進分類法のIME辞書☆11Dec 8, 2022Updated 3 years ago
- Indentation-based Racket Syntax -- MOVED TO: https://git.leastfixedpoint.com/tonyg/racket-something☆39Sep 2, 2021Updated 4 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
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A Simple Algorithm for Minimum Cuts in Near-Linear Time (SWAT '20)☆12Apr 24, 2020Updated 5 years ago
- ☆13Oct 6, 2020Updated 5 years ago
- Logos for RDF formats (RDF/XML, N-Triples, RDFa, SPARQL, R2RML, SHACL) in PNG and SVG☆11Mar 21, 2019Updated 6 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- DOI metadata retriever and parser gem for Ruby☆10Nov 12, 2020Updated 5 years ago
- Babel preset for ES2015+ features supported by Meteor☆11Sep 17, 2021Updated 4 years ago
- Resource Aware, Recursive Virtual Machine☆10Nov 4, 2022Updated 3 years ago
- Une application web opensource de gestion de projets à l'aide de kanbans, pour les groupes, collectifs et associations.☆13Nov 27, 2021Updated 4 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆12Dec 17, 2024Updated last year
- 🗺️ Map your Google Photos☆14Apr 30, 2023Updated 2 years ago
- Documentation for a Morphic sample application☆11Aug 18, 2022Updated 3 years ago
- Simple Digital Library Toolkit☆10Jan 12, 2026Updated last month
- The office hours queue for Carnegie Mellon's 15-122 course.☆12Feb 25, 2023Updated 2 years ago
- SRP (Secure Remote Password) 6/6a library for Elixir☆12Nov 5, 2017Updated 8 years ago
- A gray and blue theme for JSDoc.☆10Jul 16, 2017Updated 8 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆16Jul 29, 2024Updated last year
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆18Updated this week
- minimum viable experiment using evolution strategy to play catch☆21Jan 28, 2018Updated 8 years ago
- RDF describing Creative Commons licenses☆13Mar 7, 2024Updated last year
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 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 3 months ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- ☆13Jan 7, 2026Updated last month
- 論文サーベイ用テンプレートと,ナレッジグラフ(知識グラフ)論文のサーベイ結果の共有のためのリポジトリです。Issuesにサーベイ結果をまとめています。☆14Nov 7, 2024Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago