Skip to content

Instantly share code, notes, and snippets.

View andorp's full-sized avatar

Andor Penzes andorp

View GitHub Profile
Gabriella439 /
Last active August 7, 2022 22:11
I'm trans

I'm writing this post to publicly come out as trans (specifically: I wish to transition to become a woman).

This post won't be as polished or edited as my usual posts, because that's kind of the point: I'm tired of having to edit myself to make myself acceptable to others.

I'm a bit scared to let people know that I'm trans, especially because I'm not yet in a position where I can transition (for reasons I don't want to share, at least not in public) and it's really shameful. However, I'm getting really

AndrasKovacs / CCCNbE.agda
Last active March 17, 2021 18:11
NbE for CCC
View CCCNbE.agda
open import Data.Unit
open import Data.Product
infixr 4 _⇒_ _*_ ⟨_,_⟩ _∘_
data Obj : Set where
∙ : Obj
base : Obj
_*_ : Obj → Obj → Obj

Programmer: Atlanta, GA, No Remote, Full-Time

Layer 3 Communications is a professional services organization and network systems integrator. We use Haskell to build network security applications that revolve around either analyzing network data or configuring networks.

Networking knowledge can be learned on the job, and thus is not required.

Our stack:

  • Backend: Haskell
  • Frontend: Small amounts of JavaScript
  • Database: Postgres
chrisdone /
Last active November 8, 2020 09:49

Total (non-error-throwing) lambda-calculus evaluators.

NicolasT / Conc.lhs
Last active May 25, 2017 03:15
Deriving Typeclass Instances using Typed Holes
View Conc.lhs
# Deriving Typeclass Instances using Typed Holes
> module Conc where
> import Control.Applicative
We're presented with the following structure:
> data Concurrent a = Concurrent ((a -> Action) -> Action)
> data Action = Atom (IO Action)
> | Fork Action Action
sigrlami /
Last active March 4, 2022 14:40
List of companies using Haskell
sjoerdvisscher / adjointFoldPlain.hs
Last active July 26, 2023 13:04
Adjoint folds, using regular Category from base (but custom Functor)
View adjointFoldPlain.hs
, FunctionalDependencies
, PolyKinds