The pastebin for mathematicians
☆35Jun 9, 2014Updated 11 years ago
Alternatives and similar repositories for texpaste
Users that are interested in texpaste are comparing it to the libraries listed below
Sorting:
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- Progress tracking plots for LaTeX documents☆20Mar 22, 2021Updated 4 years ago
- Test your Haskell code by exhaustively checking its properties☆137Jul 25, 2025Updated 7 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- Modern normalizing flows in Python. Simple to use and easily extensible.☆12Feb 11, 2026Updated 3 weeks ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- [Developmental] Quarto Extension to Enable Google Colaboratory Links with Quarto Documents☆15May 18, 2025Updated 9 months ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- MATLAB code for Stein Point Markov Chain Monte Carlo.☆13Jul 3, 2019Updated 6 years ago
- Simulate print CSS media using JavaScript☆13Nov 11, 2017Updated 8 years ago
- A quarto extension for writing teaching practicals☆12Sep 21, 2025Updated 5 months ago
- Invert (transpose) a GFM Markdown Table☆15Feb 20, 2024Updated 2 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Over-engineered tool for symlinking dotfiles☆37Nov 13, 2013Updated 12 years ago
- ☆12Mar 4, 2023Updated 3 years ago
- 🏎 A quick and simple API for reading Google Drive and Google Docs.☆14May 23, 2021Updated 4 years ago
- Bash library for pretty-printing a variable given by name.☆16Jun 15, 2025Updated 8 months ago
- Kubernetes, Emacs, done!☆10Feb 13, 2026Updated 3 weeks ago
- Matplotlib style sheets allow to stylize plots easily.☆13Jun 10, 2024Updated last year
- Code for the paper Normalizing Flows are Capable Models for RL☆18Jun 3, 2025Updated 9 months ago
- Exact diagonalization for the Bose Hubbard model in Julia☆11Dec 3, 2019Updated 6 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Jul 15, 2011Updated 14 years ago
- VaniDL is an tool for analyzing I/O patterns and behavior with Deep Learning Applications.☆10Jul 8, 2022Updated 3 years ago
- Utility to re-structure research papers published in US Letter or A4 format PDF files to typically remove the 2 columns layout.☆53Nov 8, 2010Updated 15 years ago
- Continuously tempered Hamiltonian Monte Carlo☆12Apr 12, 2017Updated 8 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- ☆13Jan 7, 2026Updated last month
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- ☆13Feb 17, 2022Updated 4 years ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- playground for generative models☆10Jun 23, 2024Updated last year
- A python API for Lattice QCD applications☆10Sep 28, 2020Updated 5 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 6 years ago
- Tools to analyze web archives☆20Jul 12, 2016Updated 9 years ago
- ☆14Sep 7, 2023Updated 2 years ago
- Experimental implementations of several (over/under)-sampling techniques not yet available in the imbalanced-learn library.☆12May 8, 2023Updated 2 years ago