tablitza

tablitza's Stars

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.5k72

• anishathalye/dotbot

  A tool that bootstraps your dotfiles ⚡️

  Language:Python7k290

• tonyg/racket-monad

  Monads for Racket (!)

  Language:Racket21

• polyml/polyml

  Poly/ML

  Language:Standard ML48245

• goldfirere/singletons

  Fake dependent types in Haskell using singletons

  Language:Haskell28536

• yallop/higher

  Higher-kinded programming in OCaml

  Language:OCaml18013

• ocaml-multicore/effects-examples

  Examples to illustrate the use of algebraic effects in Multicore OCaml

  Language:OCaml42235

• fumieval/extensible

  Extensible records, variants, structs, effects, tangles

  Language:Haskell12819

• ocaml-multicore/ocaml-effects-tutorial

  Concurrent Programming with Effect Handlers

  Language:OCaml65837

• haskell/criterion

  A powerful but simple library for measuring the performance of Haskell code.

  Language:Haskell50186

• krispo/awesome-haskell

  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

  Language:Haskell3.1k171

• drummyfish/haskell_game

  Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.

  Language:Haskell1079

• rampion/advent-of-code-2017

  Language:Haskell2

• dorchard/type-level-sets

  Type-level sets for Haskell (with value-level counterparts and various operations)

  Language:Haskell6621

• bos/stanford-cs240h

  Course materials for Stanford CS240h, "Functional Systems in Haskell"

  Language:Haskell64865

• mikeizbicki/typeparams

  Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

  Language:Haskell413

• jwbuurlage/dotfiles

  dotfiles

  Language:Emacs Lisp4

• jwbuurlage/category-theory-programmers

  Category theory in the context of (functional) programming

  51338

• ekmett/reflection

  Reifies arbitrary Haskell terms into types that can be reflected back into terms

  Language:Haskell10224

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k117

• yawaramin/fsharp-typeclasses

  Language:F#24

• palladin/Higher

  A lightweight library of abstractions for Higher-kinded programming in F#

  Language:F#18425

• begriffs/haskell-vim-now

  One-line Haskell Vim install

  Language:Shell989101

• suhr/wcpl

  Language:HTML161

• jez/vim-as-an-ide

  Workshop on how to use Vim Plugins.

  Language:VimL2k173

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.4k83

• passy/awesome-recursion-schemes

  Resources for learning and using recursion schemes.

  1.2k56

• Gabriella439/turtle

  Shell programming, Haskell style

  Language:Haskell93990

• gelisam/frp-zoo

  Comparing many FRP implementations by reimplementing the same toy app in each.

  Language:Haskell49031

• HeinrichApfelmus/threepenny-gui

  GUI framework that uses the web browser as a display.

  Language:Haskell43977