tscholak

two-layer-network

Hasktorch two-layer network example project

hasktorch

Tensors and neural networks in Haskell

gen_tm

term generator for simply typed lambda calculus, combinatory logic.

tscholak.github.io

active

Time-varying values with start and end times.

azimuth

Helping AI practitioners better understand their datasets and models in text classification. From ServiceNow.

cheese

Used for adaptive human in the loop evaluation of language and embedding models.

declarative-programming-streams

Active streaming declarative programmers. See who's online at the following URL:

dex-lang

Research language for array processing in the Haskell/ML family

fauxpilot

FauxPilot - an open-source GitHub Copilot server

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

huggingface_hub

The official Python client for the Huggingface Hub.

Idris2

A purely functional programming language with first class types

ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

inline-c

linklater

A Haskell library for the Slack API (including real-time messaging!)

ml4code.github.io

Website for "A Survey of Machine Learning for Big Code and Naturalness"

mustache

Haskell implementation of mustache templates

nix-devcontainer-python-jupyter

Example dev environment project of using nix devcontainer for python and jupyter notebooks.

one-billion-coercions

outlines

Guided Text Generation

queryparser

Parsing and analysis of Vertica, Hive, and Presto SQL.

sized-functors

slick

Static site generator built on Shake configured in Haskell

slick-template

A template for quickly building sites with slick

synthesis

code-base for my UvA MSc AI thesis on typed neural program synthesis

text-to-text-transfer-transformer

Code for the paper "Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer"

transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

website

Torsten Scholak’s personal website