Tim Sears's repositories
amazon-sagemaker-examples
Example notebooks that show how to apply machine learning, deep learning and reinforcement learning in Amazon SageMaker
bioconda-recipes
Conda recipes for the bioconda channel.
blog-resources
Extra resources for Tweag's blog posts.
boltzmann-brain
Analytic sampler compiler for combinatorial systems
call-haskell-from-anything
Call Haskell functions from any programming language via serialization and dynamic libraries
custom-llm-for-LEAP
custom llm for Tonomous demo
Decoupled-attention-network
Pytorch implementation for "Decoupled attention network for text recognition".
fisheryates
Fisher Yates demos
FontyFruity
An haskell TrueType file parser
generic-boltzmann-brain
Analytic sampler framework for algebraic data types
haskell-template
Haskell project template using nix flakes
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
julia-nixos
NixOS derivation for Julia 1.6
jupyterWith
declarative and reproducible Jupyter environments - powered by Nix
multiparametric-combinatorial-samplers
Auxiliary examples of combinatorial specifications amenable to multiparametric frequency tuning
paganini-hs
EDSL for the paganini multiparametric combinatorial specification tuner.
picamera-service
systemd service for pi camera
pytorch-mgpu-cifar10
testing multi gpu for pytorch
pytorch-yolo-v3
A PyTorch implementation of the YOLO v3 object detection algorithm
server-side-example-serverless-vercel
This is a sample example repo on how to extend Vapi functionalities and deploy it on Vercel Edge Functions.