jariji

@jariji · User

GitHub profile ↗ · Compare

2 followers33 repositories

Repositories

jariji/Uncertain.jl

Most efficient numbers with uncertainties and error propagation for scientific computing and measurements.

★ 0Forks 0

jariji/Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

★ 0Forks 0

jariji/GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

★ 0JuliaForks 0

jariji/GeneralizedGenerated.jl

A generalized version of Julia generated functions @generated to allow closures in generated functions and avoid the use of runtime eval or invokelatest.

★ 0Forks 0

jariji/Weave.jl

Scientific reports/literate programming for Julia

★ 0Forks 0

jariji/dance

Make your cursors dance with Kakoune and Helix-like modal editing in VS Code.

★ 0Forks 0

jariji/AcceleratedKernels.jl

Cross-architecture parallel algorithms for Julia's CPU and GPU backends. Targets multithreaded CPUs, and GPUs via Intel oneAPI, AMD ROCm, Apple Metal, Nvidia CUDA.

★ 0Forks 0

jariji/logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadmap/34267

★ 0Forks 0

jariji/Reactant.jl

Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.

★ 0Forks 0

jariji/anki

Anki is a smart spaced repetition flashcard program

★ 0RustForks 0

jariji/asp-language-support

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

★ 0Forks 0

jariji/Pkg.jl

Pkg - Package manager for the Julia programming language

★ 0JuliaForks 0

jariji/Makie.jl

Interactive data visualizations and plotting in Julia

★ 0Forks 0

jariji/Supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

★ 0Forks 0

jariji/plb2

A programming language benchmark

★ 0Forks 0

jariji/MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

★ 0Forks 0