jkleckner / cython_exampleLinks
A simple example of creating a package and using it in another package with subclassing starting with shrubbery and landscaping.
☆10Updated 7 years ago
Alternatives and similar repositories for cython_example
Users that are interested in cython_example are comparing it to the libraries listed below
Sorting:
- end the parsing problem☆40Updated 3 years ago
- Julia implementation for Python Restrain JIT☆22Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Metamath verifier in Python☆39Updated 4 months ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆148Updated 4 years ago
- Monadic expressions and sequences for Julia☆32Updated last year
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 5 years ago
- Arguments parsing without boilerplate.☆15Updated 2 years ago
- A Scheme interpreter in Python☆14Updated 11 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- Deposited packages of the homalg project☆16Updated last month
- Libraries and tools for topological and geometric modeling.☆17Updated 7 months ago
- Just as the name suggested.☆55Updated 7 years ago
- Ask for solutions.☆19Updated 6 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- GrapghQL for Python in an OOP way☆15Updated 5 years ago
- ☆37Updated 6 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- World's best progamming language☆16Updated 5 years ago