hejfelix Goto Github PK

analytics-pipeline

POC on streaming analytics data ingestion

aoc-22

Advent of code 2022

asdf-dhall

asdf pluginf or dhall

asdf-sentry-cli

blog

A blog about functional programming

bs-generic-parser

Parser combinators, parameterized in both tokens and result.

calico

Pure, reactive UI library for Scala.js

cats

Lightweight, modular, and extensible library for functional programming.

create-react-scala-app.g8

Create React apps in Scala with no build configuration.

dhall-python

Up-to-date and maintained python bindings for dhall, a functional configuration language

dot-files

My dot files

fennec

Client-server FRP library

foopar

Functional Object Oriented Parallel Framework in Scala

fp-exercises-and-grading

Automatic grading of exercises with Scala, Cats, Http4s

fp-intro-slides

Slides for intro to fp

fp-scala-cats-workshop

Workshop on pure functional programmin in Scala using Cats

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

frase

frase-js

JS version for Frase

grammarize

Use the same grammar to parse AND generate strings. Useful for creating testable parsers.

hejfelix.github.io

website

hello-unison

unison codebase

http4s

A minimal, idiomatic Scala interface for HTTP

http4s-tapir

Http4s tapir interpreter

idris-dev

A Dependently Typed Functional Programming Language

idrisfmt

Formatter for the Programming Language, Idris

intellij-settings

linalg

Linear algebra tuned with LMS

macro-repro

reproduce bug w. macros

next-level-mtl-example