chakravala/DeMorgan.jl chakravala/DeMorgan.jl

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Julia
  • License
    MIT License
  • Created about 1 year ago
  • Updated almost 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chakravala/DeMorgan.jl
github

chakravala

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Classical logic truth table magma algebra

More Repositories

1

Grassmann.jl

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
Julia
458
star
2

Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra
Julia
243
star
3

Fatou.jl

Fatou sets in Julia (Fractals, Newton basins, Mandelbrot)
Julia
114
star
4

DirectSum.jl

Tangent bundle, vector space and Submanifold definition
Julia
50
star
5

AbstractTensors.jl

Tensor algebra abstract type interoperability setup
Julia
44
star
6

Leibniz.jl

Tensor algebra utility library
Julia
19
star
7

Dendriform.jl

Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
Julia
16
star
8

Math-Research-Notes

Theorems, Definitions, Papers, Research
TeX
15
star
9

SyntaxTree.jl

Toolset for modifying Julia AST and characteristic values
Julia
15
star
10

ForceImport.jl

Macro that force imports conflicting methods in modules
Julia
14
star
11

VerTeX.jl

Typeset scattered graph data rewriter based on LaTeX nodes
Julia
13
star
12

UnitSystems.jl

Physical unit systems (Metric, English, Natural, etc...)
Julia
12
star
13

Adapode.jl

Adaptive P/ODE numerics with Grassmann element TensorField assembly
Julia
10
star
14

Geophysics.jl

Planetary science data for atmospheric geophysical models
Julia
10
star
15

Ganja.jl

Interface for the ganja.js library in Julia
JavaScript
10
star
16

FieldAlgebra.jl

Field-algebra based on Group / Ring symbolic vector module extension
Julia
9
star
17

StaticVectors.jl

Statically sized tuple vectors for Julia
Julia
8
star
18

Cartan.jl

Maurer-Cartan-Lie frame connections ∇ Grassmann.jl TensorField derivations
Julia
7
star
19

Similitude.jl

Dimensions and Quantities for UnitSystems.jl
Julia
6
star
20

Grassmann.wl

⟨Leibniz-Grassmann-Clifford⟩ multilinear differential geometric algebra
Mathematica
5
star
21

PrimitiveBits.jl

Static bit-vector with primitive byte storage and bit-wise index
Julia
4
star
22

adapode

Adaptive Multistep Numerical ODE Solver
Fortran
4
star
23

Wilkinson.jl

Toolkit for studying numerical analysis and floating point algebra round-off
Julia
3
star
24

Heisenberg.jl

Quantum logic gates with Grassmann algebra
Julia
2
star
25

MeasureSystems.jl

Measurements.jl compatibility layer for UnitSystems.jl
Julia
2
star
26

FlowGeometry.jl

Geometry for fluid dynamics
Julia
2
star
27

Ajna.jl

Perception & intuition for geometric algebra visualization
Julia
2
star
28

Clifford.jl

Geometric algebra extension for Grassmann in Julia
Julia
2
star