kozak

kozak's Stars

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k1582.4k565

• freemocap/freemocap

  Free Motion Capture for Everyone 💀✨

  Language:Python3.5k93305270

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k19150254

• simonmichael/hledger

  Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

  Language:Haskell3.1k461.5k321

• enriclluelles/route_translator

  Translate your rails app route to various languages without the hassle

  Language:Ruby87816165143

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean52633428

• valderman/selda

  A type-safe, high-level SQL library for Haskell

  Language:Haskell4781713157

• gcanti/flow-static-land

  [DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow

  Language:JavaScript409152722

• quickstrom/quickstrom

  High-confidence browser testing

  Language:Python379113418

• k-bx/owlcloud

  OwnCloud for owls done via The Microservice Architecture

  Language:Haskell23612413

• adl-lang/adl

  ADL (Algebraic Data Language)

  Language:C++2111210020

• natefaubion/purescript-run

  An extensible-effects implementation

  Language:PureScript16081215

• elct9620/rails-letsencrypt

  The Let's Encrypt certificate manager for rails

  Language:Ruby13062539

• nadia-polikarpova/synquid

  Language:Haskell1195315

• gonimo/gonimo

  gonimo application back & front

  Language:Haskell105111717

• clckwrks/clckwrks

  A Haskell CMS platform

  Language:Haskell1028911

• kosmikus/SSGEP

  Language:Haskell871133

• dylex/postgresql-typed

  Haskell PostgreSQL library with compile-time type inference

  Language:Haskell8472812

• funkia/purescript-turbine

  Purely functional UI library powered by FRP.

  Language:PureScript82746

• notxcain/onion-architecure

  An onion architecture example

  Language:Scala70617

• TyGuS/hoogle_plus

  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

  Language:Haskell606788

• DrBoolean/excursion

  recursion-schemes in JS

  Language:JavaScript57728

• benkolera/talk-stacking-your-monads

  Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24

  Language:JavaScript56618

• jfischoff/reuse-port-example

  A Demo of how to use Warp and SO_REUSEPORT to create a zero downtime deploy.

  Language:Haskell48501

• coot/purescript-dsl-example

  A simple CRUD DSL example with an asynchronious interpreter written as Cofree

  Language:PureScript32700

• mit-frap/spring22

  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022

  Language:Coq20417

• ecliptic/purescript-npm

  An experimental attempt to bring the PureScript ecosystem to npm

  Language:JavaScript19210

• iconnect/rails-session

  Decrypt Ruby on Rails sessions in Haskell

  Language:Haskell99112

• zyla/coq-todomvc

  Write Web Apps Like Mathematical Equations! (in Coq)

  Language:JavaScript4302

• zyla/purescript-frp-hack

  Language:PureScript3100