joha2 Goto Github PK

certainty-by-construction

Source material for Certainty by Construction

cosmicos

Sending the lambda calculus into deep space

d4

Some tests

freecad

This is my FreeCAD fork. Mostly I do small FEM improvements.

freecad-addons

A convenient gathering of useful and well-developed FreeCAD plugins made by the community.

freecad_macros

FreeCAD macros as preparation for workbench implementations into the main code.

freecad_mod_dev_guide

Module developer's guide to FreeCAD 's source code

galgebra

Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:

ganja.js

:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

geometric-algebra

Mathematica packages for geometric algebra

goptical

GNU Optical C++11 fork

impact-fem

invidious-redirect

A (very) small WebExtension to redirect YouTube links to Invidious.

maduixacnc

MaduixaCNC is an open source and affordable Do-it-Yourself CNC milling machine.

metapict

A graphics library for producing Racket picts in a MetaPost/TikZ style.

odenet

Open German WordNet

pylci

Python-based Linux Control Interface, adapted for ZeroPhone

pyrate

This is my pyrate fork. Goal is for me to provide a useful FreeCAD interface.

sympy

A computer algebra system written in pure Python

tooptixcore

Core function for Topology Optimization

tooptixfreecadaddon

Addon for FreeCAD using ToOptix

tooptixupdate

Current development of tooptix