☆19Nov 28, 2020Updated 5 years ago
Alternatives and similar repositories for python_formal_semantics
Users that are interested in python_formal_semantics are comparing it to the libraries listed below
Sorting:
- An experiment in trying to define a core and cleaned-up NumPy API: RNumPy☆13Feb 19, 2021Updated 5 years ago
- A framework for working with inference rules.☆10Sep 14, 2021Updated 4 years ago
- Live clone of https://sourceforge.net/p/docutils/code/HEAD/tree/.☆21Feb 6, 2026Updated 3 weeks ago
- Editorial bots generator☆28Feb 10, 2026Updated 2 weeks ago
- The toolkit for building extension modules☆27May 1, 2023Updated 2 years ago
- Python implementation of Mathematics of Arrays (MOA)☆24Feb 19, 2021Updated 5 years ago
- tiny Github star manager in Chrome☆30Jan 11, 2021Updated 5 years ago
- ☆29May 29, 2025Updated 9 months ago
- Remote Backend Compiler☆30Sep 3, 2024Updated last year
- Streamline the Sphinx theme development workflow (maintained, but extremely stable as of Dec 2025)☆31Dec 21, 2025Updated 2 months ago
- Tool for encapsulating, running, and reproducing projects with Conda environments☆31Jan 19, 2026Updated last month
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- Calculation of algorithmic climate change functions.☆20Jun 20, 2025Updated 8 months ago
- ☆39Jun 12, 2024Updated last year
- PEP 621 metadata parsing☆43Feb 9, 2026Updated 2 weeks ago
- A pure-Python codified rant aspiring to a world where numbers and types can work together.☆46Aug 7, 2024Updated last year
- ☆10Sep 30, 2020Updated 5 years ago
- A modern Python build backend☆44Updated this week
- A Python-based web scraper for extracting event data from Resident Advisor (RA). Fetches event details such as event name, artists, venue…☆19Dec 29, 2023Updated 2 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- Introducción a la programación con Python☆15Sep 12, 2023Updated 2 years ago
- ☆11Dec 2, 2024Updated last year
- Página web de la comunidad de Community Builders. Carta de presentación: quienes somos, qué hacemos, cómo unirse, etc.☆10Feb 13, 2026Updated 2 weeks ago
- Presentar panorámica general de Spark y su aplicación para manipulación de big data mediante los lenguajes de Python y SQL. Se explicará …☆10Mar 10, 2022Updated 3 years ago
- Dust Streams in Space☆15Mar 5, 2016Updated 9 years ago
- This package contains helpers to deal with physical variables and units.☆12Dec 22, 2022Updated 3 years ago
- JupyterLab extension to show a flash effect when a cell is executed ⚡ ✨☆42Feb 20, 2025Updated last year
- Krestianstvo | Playground - is the collection of worlds and experiences, developed using Krestianstvo SDK 4 | Solid JS☆11Sep 15, 2023Updated 2 years ago
- A command line client builder that follows the Canonical's Guidelines for a Command Line Interface.☆15Updated this week
- Functional Iterator for python☆11May 17, 2021Updated 4 years ago
- A brainfuck interpreter using only the C preprocessor☆91Aug 3, 2024Updated last year
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- A versatile token stream for handwritten parsers.☆13Aug 3, 2023Updated 2 years ago
- Define portable, executable data transformations with a standard specification.☆40Dec 18, 2025Updated 2 months ago
- Pretix plugin to create esPass files☆13Jun 30, 2023Updated 2 years ago
- A small repository with convenience functions for working with the Notion API.☆14Jun 5, 2021Updated 4 years ago
- Materiales de la charla sobre predicción de contaminación en Madrid en la PyConES 2018☆10Oct 23, 2018Updated 7 years ago
- ☆10Mar 14, 2016Updated 9 years ago
- The Vega, Vega-Lite and Vega-Altair Roadmap☆13Apr 14, 2024Updated last year