Skip to content
View ad-si's full-sized avatar
🎯
Focusing
🎯
Focusing

Sponsoring

@hannobraun

Organizations

@educatopia @style-guides @feramhq @Airsequel @haskell-github-trust

Block or report ad-si

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@utmapp
UTM utmapp
Virtual machines for iOS
@scribusproject
Scribus Project scribusproject
The Official Scribus GitHub Repository
@haskell-miso
miso haskell-miso
Official organization for the Haskell miso project

United States of America

@starklicht
Starklicht starklicht
Starklicht is an open source project for movie, theater and art installations.
@sigma-andex
Jan Schulte sigma-andex
deep learning, functional programming. rust, typescript, python, purescript, haskell, scala.  🌍🌳🐟⛵️🎨🏔

Betalyra Sociedade Unipessoal Lda. Portugal

@gasi
Daniel Gasienica gasi
Product builder using agentic engineering

CollegeVine / iET Zürich, Switzerland

@thenumbernine
Christopher E. Moore thenumbernine
the most overqualified unemployed person you know
@neilmayhew
Neil Mayhew neilmayhew
Software developer and consultant, specializing in Linux server, web and desktop application development and deployment. Haskell and NixOS enthusiast.

@input-output-hk Calgary, Alberta, Canada

@asterinas
Asterinas asterinas
Towards more secure operating systems and trustworthy infrastructure
@love2d
LÖVE love2d
LÖVE is a 2D game framework for Lua.
@mchav
Michael Chavinda mchav
Software engineer focused on fraud detection, high-performance data systems, expressive APIs, and functional programming.

Seattle, WA

@WLJSTeam
WLJS Coffee liqueur WLJSTeam
Next-Gen Digital Notebook for Physics, Math, and Data Science based on Wolfram Engine

Germany

@runmedev
Runme runmedev
DevOps Notebooks Built with Markdown

United States of America

@jupyterlite
JupyterLite jupyterlite
Wasm powered Jupyter running in the browser 💡
@basvandijk
Bas van Dijk basvandijk
I've 20+ years of experience as a Haskell, Rust and DevOps engineer in various roles.

DFINITY Zürich, Switzerland

@cachix
Cachix cachix
Nix binary cache hosting

Remote

@diku-dk
DIKU diku-dk
Department of Computer Science at the University of Copenhagen

Copenhagen, Denmark

@ghc-proposals
GHC proposals ghc-proposals
GHC language and compiler change proposals
@nvim-lua
Neovim Lua nvim-lua
A collection of high-quality, standardized plugins written in Lua for Neovim
@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@feedbackone
Feedback.one feedbackone
Unlimited user feedback with one line of code.
@purescript-web
purescript-web
Browser API libraries for PureScript
@alda-lang
Alda alda-lang
A music programming language for musicians.
@aaronallen8455
Aaron Allen aaronallen8455
Haskell developer, musician

H-E-B Austin, Tx

@CakeML
CakeML CakeML
A Verified Implementation of ML
@PaulBatchelor
Paul Batchelor PaulBatchelor
I teach computers how to sing.
@haskell-repa
Haskell Repa haskell-repa
Haskell Repa Libraries