Skip to content
View utensil's full-sized avatar

Sponsoring

@OpenAccess-AI-Collective

Organizations

@numenta @htm-community @pygae

Block or report utensil

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
utensil/README.md

👋 Hi, I'm Utensil

Github Twitter

Github is where I explore ideas, write stuff, contribute to or create open-source projects out of personal interest. It's part of my spiritual life, independent of my professional career. I've been coding since my 6th grade (1999), coding connects me with the world: how things work, how I can interact with their internals and build things as how I imagine.

utensil

Programming Languages in use:

lean rust julia cplusplus python javascript

Programming Languages to learn:

zig ocaml aya elixir elm nim roc odin gleam

Interests:

Geometric Algebra Discrete Differential Geometry Developmental Biology Dynamical systems NuPIC Lacan

Pinned Loading

  1. pygae/galgebra pygae/galgebra Public

    Symbolic Geometric Algebra/Calculus package for SymPy 🔮

    Python 230 62

  2. pygae/GAlgebra.jl pygae/GAlgebra.jl Public

    Julia interface to GAlgebra via PyCall

    Jupyter Notebook 14 4

  3. pygae/lean-ga pygae/lean-ga Public

    A partial formalization of Geometric Algebra in the Lean formal proof verification system.

    Lean 50 4

  4. formal-land formal-land Public

    My monorepo for formalization, e.g. Lean, Aya

    Lean 4 2

  5. forest forest Public

    TeX 7

  6. native-land native-land Public

    A monorepo for my native projects, including on GPU

    Rust