Highlights
- Pro
-
-
lattice-estimator Public
An attempt at a new LWE estimator
-
-
-
m4ri Public
M4RI is a library for fast arithmetic with dense matrices over GF(2)
-
-
-
group-publications Public
pull publications from DBLP and output a list of publications
-
m4rie Public
M4RIE is a library for fast arithmetic with dense matrices over GF(2^e) for 2 ≤ e ≤ 16
-
helm-mu Public
Forked from emacs-helm/helm-muHelm sources for searching emails and contacts using mu
Emacs Lisp GNU General Public License v3.0 UpdatedJan 2, 2025 -
helm-bibtex Public
Forked from tmalsburg/helm-bibtexSearch and manage bibliographies in Emacs
Emacs Lisp GNU General Public License v2.0 UpdatedDec 16, 2024 -
parsebib Public
Forked from joostkremers/parsebibElisp library for reading .bib files
Emacs Lisp BSD 3-Clause "New" or "Revised" License UpdatedDec 16, 2024 -
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 UpdatedNov 27, 2024 -
-
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
-
maildir indexer/searcher + emacs mail client + guile bindings
C++ GNU General Public License v3.0 UpdatedMar 17, 2024 -
ellama Public
Forked from s-kostyaev/ellamaEllama is a tool for interacting with large language models from Emacs.
Emacs Lisp GNU General Public License v3.0 UpdatedMar 16, 2024 -
jupyter Public
Forked from emacs-jupyter/jupyterAn interface to communicate with Jupyter kernels.
Emacs Lisp GNU General Public License v3.0 UpdatedNov 5, 2023 -
-
thelatticeclub.com Public
Forked from octaviopk9/lattice-based-cryptographyReference repository on Lattice-based Cryptography
-
sagemath-website Public
Forked from sagemath/websitethis is the code for the sagemath.org website
HTML UpdatedMay 9, 2022 -
-
org-ref Public
Forked from jkitchin/org-reforg-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
Emacs Lisp UpdatedDec 20, 2021 -
cryptobib-db Public
Forked from cryptobib/dbCryptoBib Database for Developers
-
oboe Public
Forked from krissrex/obsidian-html🗄️ A simple tool to convert an Obsidian vault into a static directory of HTML files.
Python MIT License UpdatedAug 21, 2021 -
fplll-virtual-machines Public
virtual machine templates for fplll and friends
Shell UpdatedFeb 6, 2021 -
Indocrypt-VerifiedCrypto-Tutorials Public
Forked from aseemr/Indocrypt-VerifiedCrypto-TutorialsTeX UpdatedDec 11, 2020 -
dired-sidebar Public
Forked from jojojames/dired-sidebarSidebar for Emacs leveraging Dired
Emacs Lisp GNU General Public License v3.0 UpdatedApr 7, 2020 -
emacs-slack Public
Forked from emacs-slack/emacs-slackslack client for emacs
Emacs Lisp UpdatedOct 6, 2019 -
moodle-cli Public
Basic command line interface for Moodle using Selenium (!) because we can't have nice things