quffaro

quffaro's Stars

• otherjoel/thenotepad

  📓🍎An experimental blog written in Pollen / Racket

  Language:Perl789

• AlgebraicJulia/ACSets.jl

  ACSets: Algebraic databases as in-memory data structures

  Language:Julia198

• AlgebraicJulia/Decapodes.jl

  A framework for composing and simulating multiphysics systems

  Language:Julia4914

• TheCedarPrince/CompositionalMLStudy

  An experimental category theory-informed research study with applications to public health, climate health, and epidemiology.

  Language:Jupyter Notebook31

• GeorgeR227/SymbolicUtils.jl

  Symbolic expressions, rewriting and simplification

  1

• ToposInstitute/CatColab

  A collaborative environment for formal, interoperable, conceptual modeling

  Language:Rust297

• tw93/Pake

  🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 利用 Rust 轻松构建轻量级多端桌面应用

  Language:Rust32.9k5.7k

• otherjoel/bookcover

  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.

  Language:Racket223

• JuliaSymbolics/SymbolicUtils.jl

  Symbolic expressions, rewriting and simplification

  Language:Julia542113

• AlgebraicJulia/AlgebraicOptimization.jl

  Language:Julia63

• tylerhanks/AlgebraicDynamics.jl

  Building dynamical systems compositionally

  Language:Jupyter Notebook1

• LocalCharts/cct-reading-group

  Github repository for compositional category theory reading group

  Language:OCaml41

• AlgebraicJulia/GATlab.jl

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

  Language:Julia242

• matt-kukla/bnp

  Four-valued Belnap logic.

  Language:OCaml2

• quffaro/pomodoro

  Language:Rust1

• lupyuen/pinetime-rust-mynewt

  PineTime Smart Watch firmware based on Rust and Apache Mynewt OS

  Language:Assembly21354

• quffaro/wyd

  Displays local projects

  Language:Rust3

• dhruvasagar/vim-table-mode

  VIM Table Mode for instant table creation.

  Language:Vim Script2.1k96

• masukomi/vim-markdown-folding

  Fold markdown documents by section.

  Language:Vim Script25043