Symbolics.jl: A Modern Computer Algebra System for a Modern Language

• PyCall.jl

  28 1,438 6.1 Julia

  Package to call Python functions from the Julia language

  

> The ecosystem is still pretty barebones compared to Python

There's help: https://github.com/JuliaPy/PyCall.jl https://github.com/JuliaInterop/RCall.jl

Works like a charm.

• sicmutils

  13 750 0.0 Clojure

  Computer Algebra, Physics and Differential Geometry in Clojure.

  

• InfluxDB

  www.influxdata.com featured

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

  

• Genie.jl

  21 2,185 8.7 Julia

  🧞The highly productive Julia web framework

  

People definitely have used PyCall in production.

Julia at this point covers everything in NumPy, SciPy and much more. For optimization, bayesian stuff, scientific, and the convergence of the above with ML, it's far ahead- https://sciml.ai/

Even has relatively mature web frameworks (https://github.com/GenieFramework/Genie.jl)

• math-fin-training

  1 7 2.6 Clojure

Cool! I managed to do something similar with org-mode + sicmutils, works quite well.

Render (pt_BR): https://github.com/hcarvalhoalves/math-fin-training/blob/mas...

• frunk

  7 1,199 5.9 Rust

  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

I don't understand why you call it "trickery or "fake". Church encoding of natural numbers is the same technique used in Agda, Coq and Idris to represent the Peano numbers. It's a completely valid encoding and isomorphic to any other representation.

You don't need to use a fixed-length array either - you can used a recursive linked list at the type-level for an unbounded encoding [1]. The Scala library is an example of that; the Github page even has an example of encoding arbitrary units like sheep and wheat.

[1] https://github.com/lloydmeta/frunk

• Algebird

  2 2,287 7.3 Scala

  Abstract Algebra for Scala

  

Hey, I have... I'm a co-author of Algebird[0], which has many ideas that I'd pull over.

I'm hoping to introduce Clojure's "spec" or "schema" libraries so that the types at play can at least be inspectable inside the system. In a fully typed language, I'd implement the extensible generics as typeclasses.

I suspect it would make it quite a bit tougher (at least in the approach I'm imagining) for folks to write new generic functions, due to many type constructors...

On the other hand, the complexity is there, even if you don't write it down!

It would be a big project, and a worthy effort, to write down types for everything in SICM.

[0] https://github.com/twitter/algebird

Suggest a related project