-
EPFL
- Lausanne, Switzerland
- https://pit-claudel.fr/clement/
- @cpitclaudel
- https://systemf.epfl.ch/
-
pelican Public
Forked from getpelican/pelicanStatic site generator that supports Markdown and reST syntax. Powered by Python.
Python GNU Affero General Public License v3.0 UpdatedSep 20, 2024 -
alectryon Public
A collection of tools for writing technical documents that mix Coq code and prose.
-
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedSep 6, 2024 -
public Public
Forked from swent-epfl/publicSoftware Enterprise course material from EPFL
Kotlin UpdatedSep 2, 2024 -
biblio.el Public
Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
-
pybtex-docutils Public
Forked from mcmtroffaes/pybtex-docutilsA docutils backend for pybtex.
Python Other UpdatedJul 17, 2024 -
-
gtg Public
Forked from getting-things-gnome/gtgGetting Things GNOME! trunk
Python GNU General Public License v3.0 UpdatedMar 2, 2024 -
monospacifier Public
Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
-
indirect-font-lock Public
Highlight code snippets embedded in strings or comments
Emacs Lisp UpdatedOct 2, 2023 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedMay 30, 2023 -
gdsCAD Public
Forked from hohlraum/gdsCADA simple but powerful Python package for creating photolithography masks in the GDSII format.
Python GNU General Public License v3.0 UpdatedMay 29, 2023 -
pplatex Public
Forked from stefanhepp/pplatexPretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
C++ Other UpdatedApr 19, 2023 -
esh Public
Use Emacs to highlight source code listings in LaTeX and HTML documents!
-
company-coq Public
A Coq IDE build on top of Proof General's Coq mode
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedOct 12, 2022 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJun 23, 2022 -
academic-poster-template Public
An HTML+CSS template for making more accessible posters
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedJun 10, 2022 -
MyST-Parser Public
Forked from executablebooks/MyST-ParserAn extended commonmark compliant parser, with bridges to docutils/sphinx
Python MIT License UpdatedJun 6, 2022 -
-
compact-docstrings Public
Shrink blank lines in docstrings and doc comments
-
alectryon-sle2020-talk Public
Slides for the SLE2020 talk on alectryon; also a decent demo of integrating Alectryon with slides instead of regular webpages
-
git-secrets Public
Forked from awslabs/git-secretsPrevents you from committing secrets and credentials into git repositories
Shell Apache License 2.0 UpdatedJan 15, 2022 -
litpy Public
Literate Python editing in Emacs: reStructuredText markup, snippets highlighting, and doctests quick-peek
Emacs Lisp UpdatedDec 19, 2021 -
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedDec 3, 2021 -
hydra-battles Public
Forked from coq-community/hydra-battlesVariations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Coq MIT License UpdatedNov 4, 2021 -
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
-
writeroom-mode Public
Forked from joostkremers/writeroom-modeWriteroom-mode: distraction-free writing for Emacs.
Emacs Lisp UpdatedSep 27, 2021 -
easy-escape Public
Improve readability of escape characters in ELisp regular expressions