The Compositionality article class.
☆14Mar 16, 2026Updated 7 months ago
Alternatives and similar repositories for compositionality-latex-template
Users that are interested in compositionality-latex-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A TikZ library of wiring diagrams☆22Feb 19, 2019Updated 7 years ago
- ☆12Sep 1, 2024Updated 2 years ago
- Decred Journal☆13May 4, 2024Updated 2 years ago
- A multi-agent system built with DSPy that coordinates research and writing agents to produce comprehensive articles on any topic.☆13Aug 3, 2025Updated last year
- DIY Hardware wallet workshop☆16Dec 19, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Member Server☆17Nov 12, 2020Updated 5 years ago
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- Memo, Member, BlockPress, Wewo Protocol and Proposals☆14Aug 16, 2021Updated 5 years ago
- Implementation of the paper <Model-based Reinforcement Learning for Predictions and Control for Limit Order Books (Wei et al., J.P. Morga…☆12Aug 22, 2023Updated 3 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- A task runner for VSC based on atom-build-oracle implementation☆11Jan 22, 2024Updated 2 years ago
- Parsec orgmode parser implemented by Brent Yorgey☆11Mar 16, 2014Updated 12 years ago
- Memo Improvement Proposals☆14Jun 12, 2022Updated 4 years ago
- 🇳🇱✖️ Decentralized Autonomous Organization (DAO) for managing the DutchX☆25Jul 12, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Conception: a game created for the 7-day Roguelike 2013 challenge. Contains hexagons. And chlamydia. And much more.☆14May 2, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 9 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- Pipecat Guess Who?☆16Aug 1, 2025Updated last year
- Research attempting to beat a naive dca with volatility forecasts and range position based weightings☆12Jul 9, 2021Updated 5 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- TeXSend is a suite of userscripts which allow you to compile LaTeX code in your favorite email services.☆19Aug 9, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- Easy training for Sparse Linear Autoencoders (https://arxiv.org/abs/2309.08600) with data from TransformerLens models.☆12Nov 1, 2023Updated 2 years ago
- The source code used in the Oakland 2019 paper “Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security”☆29Apr 1, 2021Updated 5 years ago
- An introduction to the Ruby language in ten lines of code (in Spanish)☆10Mar 4, 2018Updated 8 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- org-mode templates for PhD hacking☆10Sep 4, 2025Updated last year
- Infer transmission clusters from SNP and timing data☆17May 20, 2020Updated 6 years ago
- 人造棋士18号のソースコード☆10Sep 3, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A basic browser based app that posts to the STEEM blockchain (tutorial/example)☆11Aug 17, 2017Updated 9 years ago
- Fast haskell chess move generator library and console UCI frontend☆33May 19, 2026Updated 5 months ago
- An educational implementation of some aspects of the DisCoCat framework☆11Mar 17, 2023Updated 3 years ago
- JavaScript/D3 Version☆11Sep 13, 2014Updated 12 years ago
- The repository is intended as a support tool for the report of the project "Sim to Real transfer of Reinforcement Learning Policies in Ro…☆13Mar 19, 2023Updated 3 years ago
- Draughts and checkers template library☆14Jun 19, 2024Updated 2 years ago
- Composite of poschengband, kangband, and other *bands with many new additions and gameplay changes☆13Feb 11, 2022Updated 4 years ago