jaboaf

jaboaf's Stars

• anywhichway/array-set-ops

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

  Language:JavaScript11

• anywhichway/math-science-formula

  A web component for rendering math and chemical formulas

  Language:HTML1

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k232

• gstamatelat/partitions-enumeration

  Supplementary material of "Lexicographic Enumeration of Set Partitions"

  Language:C++1

• JuliaPlots/PlotlyJS.jl

  Julia library for plotting with plotly.js

  Language:Julia42378

• brimdata/super

  A novel data lake based on super-structured data

  Language:Go1.4k64

• smuthubabu/awesome-public-datasets

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

  6414

• TidierOrg/TidierPlots.jl

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

  Language:Julia2218

• jaboaf/trade

  1

• legalnonsense/org-visual-outline

  Make Orgmode look better

  Language:Emacs Lisp787

• JuliaPlots/Plots.jl

  Powerful convenience for Julia visualizations and data analysis

  Language:Julia1.8k354

• finos/FDC3

  An open standard for the financial desktop.

  Language:HTML198124

• oscar-system/GAP.jl

  GAP packages for Julia integration

  Language:GAP6521

• robinsloan/spring-83

  A speculative new protocol 🌸

  Language:Crystal27111

• GenericMappingTools/GMT.jl

  Generic Mapping Tools Library Wrapper for Julia

  Language:Julia19528

• finos/open-reg-tech-us-lcr

  Open Reg Tech: US LCR

  Language:Elm1121

• finos/traderX

  Language:TypeScript5455

• LMFDB/lmfdb

  L-Functions and Modular Forms Database

  Language:Python246199

• kalmarek/SymbolicWedderburn.jl

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

  Language:Julia95

• thofma/Tally.jl

  Counting things in julia

  Language:Julia201

• thofma/Hecke.jl

  Computational algebraic number theory

  Language:Julia23464

• Nemocas/AbstractAlgebra.jl

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

  Language:Julia16963

• Nemocas/Nemo.jl

  Julia bindings for the FLINT number theory C library

  Language:Julia18958

• fingolfin/Perms.jl

  permutations, following GAP semantics

  1

• Normaliz/Normaliz

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

  Language:C++4222

• oscar-system/Oscar.jl

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

  Language:Julia344126

• finos/perspective

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

  Language:C++8.4k1.2k

• USU-Analytics-Solution-Center/Bruno.jl

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

  Language:Julia345

• JuliaLang/JuliaSyntax.jl

  The Julia compiler frontend

  Language:Julia27333

• JuliaGraphics/QML.jl

  Build Qt6 QML interfaces for Julia programs.

  Language:Julia38335