The semantics of Python in K
☆21Aug 20, 2013Updated 12 years ago
Alternatives and similar repositories for python-semantics
Users that are interested in python-semantics are comparing it to the libraries listed below
Sorting:
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- The Stratego program transformation language☆35Apr 29, 2025Updated 10 months ago
- Fast Runtime-Flexible Multi-dimensional Arrays and Views for C++☆48Oct 12, 2022Updated 3 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- A Multithread PcapNG capturing tool with Hardware timestamping☆10Nov 6, 2016Updated 9 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Past presentation materials☆10Jul 10, 2018Updated 7 years ago
- SRE (Simple Rule Engine) is a lightweight forward chaining inference rule engine for .NET. Its 'simple' because of the simplicity in writ…☆12Jan 14, 2018Updated 8 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 2 weeks ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Updated this week
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- Open-source blockchain explorer and automatic wallet tracker built with React Native.☆12Jun 2, 2022Updated 3 years ago
- Basic, no assumptions, multi-pileup☆24Mar 26, 2014Updated 11 years ago
- Geth/Parity node healthcheck endpoint. Check the node is in sync with the network☆11Oct 17, 2022Updated 3 years ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- C++ OpenCL initialization helper library.☆22Aug 16, 2012Updated 13 years ago
- ☆12Jan 12, 2015Updated 11 years ago
- Emacs library to communicate with Music Player Daemon (MPD)☆10Sep 22, 2025Updated 5 months ago
- Tools, scripts, demos, and other goodies for the Reko decompiler☆17Oct 2, 2025Updated 4 months ago
- A simple web frontend to view Python pstats files.☆12Jul 26, 2023Updated 2 years ago
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- Yuyushiki Annotation tool☆14Oct 15, 2014Updated 11 years ago
- Startle C Library☆18Jan 28, 2019Updated 7 years ago
- See http://dx.doi.org/10.1039/C7SC04156J for more details☆11Aug 28, 2023Updated 2 years ago
- Energy minimization via tree-reweighted message passing (TRW) and belief propagation (BP) using Python☆14Jun 13, 2012Updated 13 years ago
- Common blockchain architecture abstractions☆10Jun 9, 2018Updated 7 years ago
- A tiny thin client for multiplayer games☆19Feb 6, 2014Updated 12 years ago
- Rendering hunting and fishing regulations as open data. [RETIRED]☆17Oct 30, 2015Updated 10 years ago
- ☆15Dec 30, 2025Updated 2 months ago
- ☆13Mar 6, 2023Updated 2 years ago