quffaro

Pinned Repositories

Airplane
00
AlgebraicPetri.jl_fork
Build Petri net models compositionally
Language:Julia0 0 00
APEX
Script for the Apex project
Language:PLSQL0 1 00
Aqua.jl
Auto QUality Assurance for Julia packages
Language:Julia00
arbulu
Language:Haskell00
book
A textbook on informal homotopy type theory
Language:TeX0 0 00
BuildKiteTest
Language:Shell00
busybee
Write Forester posts with Pollen!
Language:Racket10
pomodoro
Language:Rust10
wyd
Displays local projects
Language:Rust3 1 00

quffaro's Repositories

quffaro/wyd
Displays local projects
Language:Rust3 1 00
quffaro/busybee
Write Forester posts with Pollen!
Language:Racket10
quffaro/pomodoro
Language:Rust10
quffaro/Airplane
00
quffaro/AlgebraicPetri.jl_fork
Build Petri net models compositionally
Language:Julia0 0 00
quffaro/APEX
Script for the Apex project
Language:PLSQL0 1 00
quffaro/Aqua.jl
Auto QUality Assurance for Julia packages
Language:Julia00
quffaro/arbulu
Language:Haskell00
quffaro/book
A textbook on informal homotopy type theory
Language:TeX0 0 00
quffaro/BuildKiteTest
Language:Shell00
quffaro/Crabgrass
Language:Julia0 1 00
quffaro/Demosthenes
Language:Shell00
quffaro/haskell-vim-proto
Basic starter config for Vim and Haskell
Language:Vim Script00
quffaro/JuliaBuildKiteTest
Language:Shell00
quffaro/CatColab
A collaborative environment for formal, interoperable, conceptual modeling
Language:Rust
quffaro/julia
The Julia Programming Language
quffaro/kymograph
Kymograph data for OW
quffaro/learning-area
Github repo for the MDN Learning Area.
Language:HTML
quffaro/mattermost-server
Open source Slack-alternative in Golang and React - Mattermost
quffaro/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.
quffaro/Mirzakhalili-et-al--PloS-one-2018-fork
Language:MATLAB
quffaro/open-worm-analysis-toolbox
A testing pipeline that allows us to run a behavioural phenotyping of our virtual worm running the same test statistics the Schafer Lab used on their worm data.
Language:Python
quffaro/openworm.github.io
OpenWorm Website
Language:HTML
quffaro/ParameterisedModule.jl
Full featured parameterised ML-modules in Julia
quffaro/quffaro.github.io
Language:XSLT
quffaro/tree-sitter-pollen
Language:JavaScript
quffaro/USF_Beamer_Template
LaTeX/Beamer presentation template for the University of South Florida
quffaro/wormbrowser
The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans