Our great sponsors

I agree 100%.
Truck[1] and Fornjot[2] are recent attempts in the Rust space, both are WIP.
But both seem to be going the traditional way. I.e. BRep that can be converted to (trimmed) NURBS.
I think if one wanted to incorporate the last 50 years of computer science, particularly computer graphics, one needed to broaden the feature set considerably.
You need support for precision subdivision surface modeling with variable radius creases (either via reverse subdivision where you make sure the limit surface pass through given constraints or using an interpolating subivision scheme that but has the same perks as e.g. CatmullClark).
Then you need to have SDF modeling ofc.
Possibly point based representations. If only as inputs.
And traditional BRep.
Finally, the kernel should be able to go back and forth lossless between these representations wherever possible.
And everything must be nodebased, like e.g. Houdini. Completely nondestructive.

I think the interesting thing about CAD kernel is that there are different representations and limitations to each representation. You have triangular (or polygonal) mesh, BREP which uses NURBS, SDF which is based on functional representation. I have experience working with triangular meshes and SDF so here are my opinions about them, please correct me if I am wrong:
Triangular mesh is conceptually simple, but requires many faces to approximate curved surfaces with high precision (you may be able to use subdivision surface in some cases but intersection/union in those cases are more challenging). Also, for more complicated models, floating point errors really add up and you either have to use an exact representation (which is really slow) or try some other approaches which can be robust w.r.t. errors (e.g. https://github.com/elalish/manifold but it is really hard to get right). Another disadvantage comparing with BREP is the lack of constraint solving, which i

InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.

It seems a bizarre statement to state that OpenCASCADE isn't fully capable. Its the only OS licensed kernel that'll read a STEP file. Also "modern foundation" is a misleading statement, any CAD kernel bearing any kind of relevance seems implying a codebase that's been around for a quarter century. Like it or not OpenCASCADE is the hand that was dealt. I've worked with the technology [1] extensively and it provided the underpinnings for a startup I've founded [2]. pythonocc is the bees knees, it allows you to develop a proper CAD app. Don't take my word for it, but see also the many publications that have built on the tech [3]

cadquery wraps OCC (OpenCascades) but used to wrap freeCAD. Here's a LEGO interlocking block brick in cadquery: https://cadquery.readthedocs.io/en/latest/examples.html#lego... . Awesomecadquery: https://github.com/CadQuery/awesomecadquery )
cadquery and thus also jupytercadquery now have support for build123d.
gumyr/build123d

https://github.com/gumyr/build123d :
> Build123d is a pythonbased, parametric, boundary representation (BREP) modeling framework for 2D and 3D CAD. It's built on the Open Cascade geometric kernel and allows for the creation of complex models using a simple and intuitive python syntax. Build123d can be used to create models for 3D printing, CNC machining, laser cutting, and other manufacturing processes. Models can be exported to a wide variety of popular CAD tools such as FreeCAD and SolidWorks.
> Build123d could be considered as an evolution of CadQuery where the somewhat restrictive Fluent API (method chaining) is replaced with stateful context managers*  e.g. with blocks  thus enabling the full python toolbox: for loops, references to objects, object sorting and filtering, etc.*
"Build123d: A Python CAD programming library" (2023) https://news.ycombinator.com/item?id=37576296
BREP: Boundary representation: https://en.wikipedia.org/wiki/Boundary_representation
Manim, Blender, PhysX, o3de, [FEM, CFD, [thermal, fluidic,] engineering]: https://github.com/ManimCommunity/manim/issues/3362
NURBS: NonUniform Rational BSplines: https://en.wikipedia.org/wiki/Nonuniform_rational_Bspline
NURBS for COMPAS: https://github.com/gramaziokohler/compas_nurbs :
> This package is inspired by the NURBSPython package, however uses a NumPybased backend for better performance.
> Curve, and Surface are nonuniform nonrational BSpline geometries (NUBS), RationalCurve, and RationalSurface are nonuniform rational BSpline Geometries (NURBS). They all built upon the class BSpline. Coordinates have to be in 3D space (x, y, z)
test_curve.py, test_surface.py
compas_rhino, compas_blender
Blender docs > Modeling Surfaces; NURBs implementation, limits, challenges:

manim
A communitymaintained Python framework for creating mathematical animations. (by ManimCommunity)
https://github.com/gumyr/build123d :
> Build123d is a pythonbased, parametric, boundary representation (BREP) modeling framework for 2D and 3D CAD. It's built on the Open Cascade geometric kernel and allows for the creation of complex models using a simple and intuitive python syntax. Build123d can be used to create models for 3D printing, CNC machining, laser cutting, and other manufacturing processes. Models can be exported to a wide variety of popular CAD tools such as FreeCAD and SolidWorks.
> Build123d could be considered as an evolution of CadQuery where the somewhat restrictive Fluent API (method chaining) is replaced with stateful context managers*  e.g. with blocks  thus enabling the full python toolbox: for loops, references to objects, object sorting and filtering, etc.*
"Build123d: A Python CAD programming library" (2023) https://news.ycombinator.com/item?id=37576296
BREP: Boundary representation: https://en.wikipedia.org/wiki/Boundary_representation
Manim, Blender, PhysX, o3de, [FEM, CFD, [thermal, fluidic,] engineering]: https://github.com/ManimCommunity/manim/issues/3362
NURBS: NonUniform Rational BSplines: https://en.wikipedia.org/wiki/Nonuniform_rational_Bspline
NURBS for COMPAS: https://github.com/gramaziokohler/compas_nurbs :
> This package is inspired by the NURBSPython package, however uses a NumPybased backend for better performance.
> Curve, and Surface are nonuniform nonrational BSpline geometries (NUBS), RationalCurve, and RationalSurface are nonuniform rational BSpline Geometries (NURBS). They all built upon the class BSpline. Coordinates have to be in 3D space (x, y, z)
test_curve.py, test_surface.py
compas_rhino, compas_blender
Blender docs > Modeling Surfaces; NURBs implementation, limits, challenges:

https://github.com/gumyr/build123d :
> Build123d is a pythonbased, parametric, boundary representation (BREP) modeling framework for 2D and 3D CAD. It's built on the Open Cascade geometric kernel and allows for the creation of complex models using a simple and intuitive python syntax. Build123d can be used to create models for 3D printing, CNC machining, laser cutting, and other manufacturing processes. Models can be exported to a wide variety of popular CAD tools such as FreeCAD and SolidWorks.
> Build123d could be considered as an evolution of CadQuery where the somewhat restrictive Fluent API (method chaining) is replaced with stateful context managers*  e.g. with blocks  thus enabling the full python toolbox: for loops, references to objects, object sorting and filtering, etc.*
"Build123d: A Python CAD programming library" (2023) https://news.ycombinator.com/item?id=37576296
BREP: Boundary representation: https://en.wikipedia.org/wiki/Boundary_representation
Manim, Blender, PhysX, o3de, [FEM, CFD, [thermal, fluidic,] engineering]: https://github.com/ManimCommunity/manim/issues/3362
NURBS: NonUniform Rational BSplines: https://en.wikipedia.org/wiki/Nonuniform_rational_Bspline
NURBS for COMPAS: https://github.com/gramaziokohler/compas_nurbs :
> This package is inspired by the NURBSPython package, however uses a NumPybased backend for better performance.
> Curve, and Surface are nonuniform nonrational BSpline geometries (NUBS), RationalCurve, and RationalSurface are nonuniform rational BSpline Geometries (NURBS). They all built upon the class BSpline. Coordinates have to be in 3D space (x, y, z)
test_curve.py, test_surface.py
compas_rhino, compas_blender
Blender docs > Modeling Surfaces; NURBs implementation, limits, challenges:

WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easytouse, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

I agree 100%.
Truck[1] and Fornjot[2] are recent attempts in the Rust space, both are WIP.
But both seem to be going the traditional way. I.e. BRep that can be converted to (trimmed) NURBS.
I think if one wanted to incorporate the last 50 years of computer science, particularly computer graphics, one needed to broaden the feature set considerably.
You need support for precision subdivision surface modeling with variable radius creases (either via reverse subdivision where you make sure the limit surface pass through given constraints or using an interpolating subivision scheme that but has the same perks as e.g. CatmullClark).
Then you need to have SDF modeling ofc.
Possibly point based representations. If only as inputs.
And traditional BRep.
Finally, the kernel should be able to go back and forth lossless between these representations wherever possible.
And everything must be nodebased, like e.g. Houdini. Completely nondestructive.
Related posts
 Fornjot 0.5.0  CodeCAD in Rust
 GitHub  CadQuery/cadquery: A python parametric CAD scripting framework based on OCCT
 Synth Printer: 3D printed synth panels with simple Python code. Give me early feedback?
 This subreddit now says that the Steam Deck is just a PC right when you join it. Now all of you who say that it isn't a PC can stop arguing about it
 Any recommendations for a simple solid modeling API library? Preferably C or C++