alex4o
Excited about Futamura projections, Polyhedral optimizations, FPGAs, RISC-V, OpenCL/SPIR-V/SYCL, AI and ML
Milky Way
Pinned Repositories
BellTest
BlueJ
A fork of bluej with kotlin support
jung
mlc-ai-mlc-llm
Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.
qub
A blockchain-based network which connects scientists, producing research, reproducers, validating research and institutions, funding research. The end goal is to both fund research and incentivise its reproduction.
truffleclr
WallpaperTransformer
Wallpaper Engine for Linux
gandhi
Horizontally scalable transaction processing with plugable blockchain consensus.
hart
A microservice platform for autonomously planning sightseeing trips via metaheuristics.
hilt
Profit is only a hair's breadth away from loss
alex4o's Repositories
alex4o/truffleclr
alex4o/mlc-ai-mlc-llm
Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.
alex4o/jung
alex4o/WallpaperTransformer
Wallpaper Engine for Linux
alex4o/baml
BAML is a templating language to write typed LLM functions. Check out the promptfiddle.com playground
alex4o/buildbot_test
alex4o/cheri-example-gc
alex4o/cheri-examples
cheri-riscv sample c programs
alex4o/cheri-instruction-rcg-gen
Generate Runtime Code Generation library from llvm-tblgen json instruction spec
alex4o/cheribuild
Easily build and run CHERI related projects
alex4o/dotfiles
alex4o/ecn_crew
ecn_crew web site
alex4o/fastify-vite
This plugin lets you load a Vite client application and set it up for Server-Side Rendering (SSR) with Fastify.
alex4o/function-community-finding
I like misleading names
alex4o/gatsby-pantry
Gatsby Plugin Pantry š¤¤
alex4o/geography_quiz_2017_feb
alex4o/graphql-leveldb-experiments
Experimenting with LevelDb and Graphql
alex4o/llvm-function-split
alex4o/lua
The Lua repo, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Send issues/patches to the Lua mailing list https://www.lua.org/lua-l.html
alex4o/lua-func
alex4o/MailFilter
MailFilter for my email (ManageSieve)
alex4o/mlc-ai-tvm-relax
alex4o/mm-github-pages-starter
Minimal Mistakes GitHub Pages site starter
alex4o/multitime
Time command execution over multiple executions
alex4o/music_scale_finder
Find muscal scales from root and other notes.
alex4o/prompttools
Open-source tools for prompt testing and experimentation, with support for both LLMs (e.g. OpenAI, LLaMA) and vector databases (e.g. Chroma, Weaviate).
alex4o/saunders
Many Words?: Everett, quantum theory, and reality. influenced by: [ISBN 978-0199655502]
alex4o/softdevbib
soft-dev.org BibTeX
alex4o/website
My website
alex4o/windmill-component-example-error