ianmoran11

ianmoran11's Stars

• JohMast/flowmapper

  Draw flows (migration, goods, money, information) on ggplots.

  Language:R23

• sbrunk/duckdb.mojo

  Mojo Bindings for DuckDB

  Language:Mojo15

• AlgebraicJulia/AlgebraicRewriting.jl

  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

  Language:Julia255

• umarbutler/open-australian-legal-embeddings-creator

  The code used to create and update the Open Australian Legal Embeddings, the first open-source embeddings of Australian legislative and judicial documents.

  Language:Python63

• umarbutler/open-australian-legal-corpus-creator

  The code used to create and update the Open Australian Legal Corpus, the first and only multijurisdictional open corpus of Australian legislative and judicial documents.

  Language:Python719

• modularml/mojo

  The Mojo Programming Language

  Language:Mojo23k2.6k

• AlbertRapp/tidychatmodels

  Chat With All Kinds of AI Models Through a Common Interface

  Language:R1118

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3499

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++65.8k9.4k

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean30925

• ianmoran11/ralget

  Algebraic graphs in R

  Language:R13

• sandangel/nixos-config

  My NixOS configurations.

  Language:Shell1

• microsoft/SynapseML

  Simple and Distributed Machine Learning

  Language:Scala5.1k830

• r-simmer/simmer

  Discrete-Event Simulation for R

  Language:R22142

• dmi3kno/gilchrist

  Building Blocks for Quantile Functions

  Language:R2

• mattecapu/categorical-systems-theory

  Language:TeX342

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML244180

• flox/flox

  Developer environments you can take with you

  Language:Rust2.5k58

• dwrensha/math-puzzles-in-lean

  math puzzles from various sources, formalized in Lean

  Language:Lean9

• rougier/book-mode

  A clean interface for org files (Emacs)

  Language:Emacs Lisp2877

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k298

• co-analysis/a11ytables

  R package: generate best-practice stats spreadsheets for publication

  Language:R423

• MichelNivard/gptstudio

  GPT RStudio addins that enable GPT assisted coding, writing & analysis

  Language:R894106

• blackjax-devs/sampling-book

  Tutorials and sampling algorithm comparisons

  Language:TeX6712

• ggerganov/whisper.cpp

  Port of OpenAI's Whisper model in C/C++

  Language:C34.8k3.5k

• evcxr/evcxr

  Language:Rust5.5k217

• snowfallorg/nix-software-center

  A simple gtk4/libadwaita software center to easily install and manage nix packages

  Language:Rust57116

• grantmcdermott/etwfe

  Extended two-way fixed effects

  Language:R5011

• extendr/extendr

  R extension library for rust designed to be familiar to R users.

  Language:Rust42743

• PatrickMassot/lean-verbose

  Very controlled natural language tactics for Lean

  Language:Lean611