Pinned Repositories
accelerate
Embedded language for high-performance array computations
accelerate-llvm
LLVM backend for Accelerate
acp-spec
Agent Connect Protocol Specification
alpaca-backtrader-api
Alpaca Trading API integrated with backtrader
analyze
making data science easy and safe with data frames in haskell
andrewdmeier.github.io
ApplicationSets
Scripts to set up PicoCluster and install various Applications Set on the cluster.
argon
Monitor cyclomatic complexity in Haskell programs
astar-monad
A smart A* search monad transformer which supports backtracking user-state!
libhermit
HermitCore: A C-based, lightweight unikernel
andrewdmeier's Repositories
andrewdmeier/acp-spec
Agent Connect Protocol Specification
andrewdmeier/ChezScheme
Chez Scheme
andrewdmeier/de1app
andrewdmeier/decentopenscale
Decent Open Scale
andrewdmeier/dhall-lang
Maintainable configuration files
andrewdmeier/diyPresso-One
diyPresso One - first espresso machine build kit
andrewdmeier/djot
A light markup language
andrewdmeier/dvui
andrewdmeier/exo-lang
Exocompilation for productive programming of hardware accelerators
andrewdmeier/gaggiuino
A Gaggia Classic control project using microcontrollers.
andrewdmeier/halide-lang
a language for fast, portable data-parallel computation
andrewdmeier/IndyMill
Open Source DIY Metal CNC Machine
andrewdmeier/lean4
Lean 4 programming language and theorem prover
andrewdmeier/liquidhaskell
Liquid Types For Haskell
andrewdmeier/metamath-exe
Metamath program - source code for the Metamath executable
andrewdmeier/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
andrewdmeier/mmpy
andrewdmeier/ModernBERT
Bringing BERT into modernity via both architecture changes and scaling
andrewdmeier/NoCap-Test
Open Test for BottleCapAI
andrewdmeier/pingora
A library for building fast, reliable and evolvable network services.
andrewdmeier/pollen-fork
andrewdmeier/racket
The Racket repository
andrewdmeier/roc
A fast, friendly, functional language.
andrewdmeier/Spotify-Recommender-xda
andrewdmeier/supercog-agent-protocol
A protocol for cooperation between agents built on different tech stacks
andrewdmeier/weex
A framework for building Mobile cross-platform UI
andrewdmeier/yago-4.5
The YAGO version that integrates the Wikidata taxonomy
andrewdmeier/zig-cpp-interop
Test project to show how C++ and Zig can interchangeably call function from both languages, and compile to a single binary.
andrewdmeier/zig-ui
A Zig UI library that creates a high level API using Cairo and GLFW as its underlying framework
andrewdmeier/zig-ui2