solleks's repositories
django_saml2_demo
Working demo of djangosaml2 login to Azure AD
ClimaAtmos.jl
ClimaAtmos.jl is a library for building atmospheric circulation models that is designed from the outset to leverage data assimilation and machine learning tools. We welcome contributions!
ClimaCore.jl
CliMA model dycore
ClimateMachine.jl
Climate Machine: an Earth System Model that automatically learns from data
commcare-export
A command-line tool and Python library to generate customized exports from CommCareHQ.
commcare-hq
CommCareHQ is the server backend for CommCare, the world's largest platform for designing, managing, and deploying robust Offline First mobile applications to frontline workers worldwide
django_microsoft_auth
Simple app to enable Microsoft Account, Office 365 and Xbox Live authentcation as a Django authentcation backend.
f18-llvm-project
Fork of llvm/llvm-project for f18. In sync with f18-mlir and f18.
julia
The Julia Programming Language
LeanSyntax
A document that describes some relationships between Lean4 syntax and the Calculus of Constructions.
linenoise
A small self-contained alternative to readline and libedit
Oceananigans.jl
🌊 Julia software for fast, friendly, flexible, ocean-flavored fluid dynamics on CPUs and GPUs
solleks.github.io
A test of GitHub Pages
std4
Standard Library for Lean 4
vellvm
The Vellvm II coq development.