seth-k / BJCP-styles-XMLLinks
The new 2015 BJCP style guidelines in XML, using as close as the same schema as possible to previous releases (2004, 2008)
☆8Updated 6 years ago
Alternatives and similar repositories for BJCP-styles-XML
Users that are interested in BJCP-styles-XML are comparing it to the libraries listed below
Sorting:
- Pteridophyte Phylogeny Group (PPG) taxonomic system for ferns and lycophytes☆8Updated 2 weeks ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- A Type System Attempt for Wolfram Language☆13Updated 4 years ago
- Locate local installations of the Wolfram Language.☆16Updated 4 months ago
- A Catlab-compatible implementation of acsets in python.☆12Updated last year
- Implementation of the Little Man Computer for learning Assembly programming in Julia☆11Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last week
- Structured decompositions!☆14Updated 3 months ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated 2 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆10Updated 3 weeks ago
- Quipu Programming Language☆20Updated 12 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- work in progress book on Scientific Computing in Lean☆13Updated 4 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A Coq formalisation of the R programming language☆10Updated 2 years ago
- A little library of bit-based data structures.☆16Updated 4 months ago
- common language and mathematics processing algorithms, in Rust☆26Updated last year
- Jupyter Kernel Protocol for rust☆13Updated last week
- Call Julia from Rust☆16Updated 8 years ago
- Probabilistic Functional Logic Programming☆16Updated 3 months ago
- Emojis for scientific code☆9Updated 7 years ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- Algorithmic music composition in Julia☆10Updated 5 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆13Updated last year
- ☆11Updated last year
- ☆14Updated last year
- My Talon scripts for voice coding and general computer control☆16Updated 6 months ago
- Rust data structures and client for the PubChem REST API☆12Updated 2 years ago
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated 2 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated last year