Leni Aniva

Pool based allocation

10

Is there anyway to make the `HConsed` pointers allocate using some memory pool? For example the [`ArenaArc`](https://docs.rs/shared_arena/latest/shared_arena/struct.ArenaArc.html) type in [shared_arena](https://crates.io/crates/shared_arena) looks pretty compatible with `std::sync::Arc`, and it would help a...

1. Add allocation traits in `src/alloc.rs` 2. Add benchmarks I have tested so far that the allocation trait commit `8c663871d00e1fbf90947792e074dac68b59d23d` is not slower than `37e29a352fb55187ac504b9df264fde9ca4af713`. Currently I'm waiting for `shared_arena`...

### Input C/C++ Header ```C typedef struct { int m_rc; unsigned m_cs_sz:16; unsigned m_other:8; unsigned m_tag:8; } lean_object; static inline _Atomic(int) * lean_get_rc_mt_addr(lean_object* o) { return (_Atomic(int)*)(&(o->m_rc)); } ``` This...

CQ Editor cannot find files in module search path

4

Consider a project setup like this: ``` / |- pyproject.toml |- poetry.lock |- mylib |- __init__.py |- mystery.py |- example |- example.py ``` where ```python # mystery.py def mystery(): return...

How to calculate moment of inertia?

3

If I have an assembly where different parts have different colours, and each colours corresponds to a density, is there a way to calculate the MoI about a particular axis?

Mating two gears with teeth

3

I have two gears that have teeth on them:  How would I make tagged objects and constraints so that the gears will mesh? Ideally I want to supply two...

Detection of collision with `Assembly`

1

Is there a way to detect if the objects in an `Assembly` are colliding with each other?

In blender, if I load this as a script: ```python import cadquery as Cq ``` Blender would complain "name 'Cq' is not defined".

Consider this: ```python import cadquery as cq def makeBox(): return ( cq.Solid.makeBox(1, 1, 1) ) def makeCylinder(): return ( cq.Solid.makeCylinder(height=5, radius=0.2) ) result = ( cq.Assembly() .add(makeBox(), name="b") .add(makeCylinder(), name="c",...

For example, consider a class like this: ```c++ namespace internal { class Result; } class Result { public: Result(); private: std::shared_ptr d_result; }; ``` Is there a way to expose...