GrafBlutwurst
Follow
-
blaze Public
Forked from http4s/blazeBlazing fast NIO microframework and Http Parser
Scala Apache License 2.0 UpdatedMar 28, 2023 -
nyxt Public
Forked from atlas-engineer/nyxtNyxt - the hacker's power-browser.
Common Lisp UpdatedFeb 23, 2023 -
JSONSchemaWitnessGeneration Public
Forked from sdbs-uni-p/JSONSchemaWitnessGenerationJava GNU General Public License v3.0 UpdatedJul 25, 2022 -
nix-demo Public
Repo for people to try things out with the presentation I'm doing
Nix UpdatedMay 17, 2022 -
-
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedSep 21, 2021 -
endpoints4s Public
Forked from endpoints4s/endpoints4sScala library to define HTTP-based communication protocols
Scala MIT License UpdatedSep 8, 2021 -
dhall-gitlab-ci Public
Forked from bgamari/dhall-gitlab-ciA Dhall encoding of the GitLab CI configuration schema
Dhall BSD 3-Clause "New" or "Revised" License UpdatedJun 25, 2021 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 20, 2021 -
ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala
Scala Apache License 2.0 UpdatedFeb 24, 2020 -
unison Public
Forked from unisonweb/unisonNext generation programming language, currently in development
Haskell Other UpdatedOct 4, 2019 -
Type-Arithmetic-and-the-Yoneda-Perspective Public
Forked from cohomolo-gy/Type-Arithmetic-and-the-Yoneda-PerspectiveSlides for Scalaworld 2019
TeX UpdatedSep 5, 2019 -
cats Public
Forked from typelevel/catsLightweight, modular, and extensible library for functional programming.
Scala Other UpdatedJul 22, 2019 -
typelevel-workshop Public
Forked from LukaJCB/typelevel-workshopUp and Running with the Typelevel Stack Workshop
Scala Apache License 2.0 UpdatedJun 26, 2019 -
scalaz-schema Public
Forked from spartanz/schemazA purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs, binary codecs, and migration from this schema definition
Scala Apache License 2.0 UpdatedMay 15, 2019 -
scalaz Public
Forked from scalaz/scalazPrincipled Functional Programming in Scala
Scala Other UpdatedMay 7, 2019 -
elvish-prelude Public
My Prelude for the Elvish language for shell stuff
GNU General Public License v3.0 UpdatedApr 23, 2019 -
-
scalacache Public
Forked from cb372/scalacacheSimple caching in Scala
Scala Other UpdatedNov 16, 2018 -
Anglerfish Public
A pure functional library that makes Big Data development less of a pain
-
fp-avro Public
This library provides access to generic Avro records and schemata in scala.
Scala GNU General Public License v3.0 UpdatedAug 29, 2018 -
-
portable_dev_env Public
This is my Portable Development Environment in form of a Vagrant thing. It does what it should
-
minted Public
Forked from gpoore/mintedminted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
TeX UpdatedJan 14, 2018 -
frameless Public
Forked from typelevel/framelessExpressive types for Spark.
Scala Apache License 2.0 UpdatedJul 3, 2017