Skip to content
View jaboaf's full-sized avatar

Block or report jaboaf

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

Starred repositories

Showing results

Extremely fast set and map/reduce operations for Arrays, Sets, and Cartesian Product

JavaScript 11 Updated May 8, 2023

A web component for rendering math and chemical formulas

HTML 1 Updated Oct 15, 2022

A Proof-oriented Programming Language

F* 2,804 236 Updated Mar 5, 2025

Supplementary material of "Lexicographic Enumeration of Set Partitions"

C++ 1 Updated Apr 13, 2022

Julia library for plotting with plotly.js

Julia 434 78 Updated Nov 13, 2024

An analytics database that puts JSON and relational tables on equal footing

Go 1,444 66 Updated Mar 7, 2025

https://github.com/smuthubabu/awesome-public-datasets/blob/master/README.rst

69 14 Updated May 19, 2018

Tidier data visualization in Julia, modeled after the ggplot2 R package.

Julia 239 7 Updated Feb 19, 2025
1 Updated May 15, 2024

Make Orgmode look better

Emacs Lisp 84 7 Updated Feb 26, 2024

Powerful convenience for Julia visualizations and data analysis

Julia 1,873 360 Updated Jan 13, 2025

An open standard for the financial desktop.

TypeScript 207 137 Updated Mar 6, 2025

GAP packages for Julia integration

GAP 75 23 Updated Mar 6, 2025

A speculative new protocol 🌸

Crystal 279 11 Updated Jul 26, 2024

Generic Mapping Tools Library Wrapper for Julia

Julia 206 29 Updated Mar 6, 2025

Open Reg Tech: US LCR

Elm 12 23 Updated Jun 5, 2024
TypeScript 67 66 Updated Feb 25, 2025

L-Functions and Modular Forms Database

Python 261 203 Updated Mar 1, 2025

Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!

Julia 10 6 Updated Mar 6, 2025

Counting things in julia

Julia 20 1 Updated May 13, 2024

Computational algebraic number theory

Julia 252 70 Updated Mar 6, 2025

Generic abstract algebra functionality in pure Julia (no C dependencies)

Julia 177 68 Updated Mar 6, 2025

Julia bindings for the FLINT number theory C library

Julia 200 63 Updated Mar 6, 2025

permutations, following GAP semantics

Julia 1 Updated Aug 23, 2022

Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

C++ 44 23 Updated Mar 3, 2025

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Julia 396 137 Updated Mar 6, 2025

A data visualization and analytics component, especially well-suited for large and/or streaming datasets.

C++ 8,843 1,205 Updated Mar 7, 2025

Repository for the Julia package with financial tools for data generation, asset pricing and strategy testing

Julia 37 5 Updated Sep 15, 2023

The Julia compiler frontend

Julia 281 34 Updated Mar 4, 2025

Build Qt6 QML interfaces for Julia programs.

Julia 398 35 Updated Dec 19, 2024
Next