emekoi

emekoi's Stars

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  9.1k29429655

• oxalorg/sakura

  :cherry_blossom: a minimal css framework/theme.

  Language:HTML4.2k3050185

• kepano/flexoki

  An inky color scheme for prose and code.

  Language:CSS2.2k122574

• minad/org-modern

  :unicorn: Modern Org Style

  Language:Emacs Lisp1.6k918551

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.6k581172

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.3k762892

• rustyrussell/ccan

  The C Code Archive Network

  Language:C1.1k7242207

• higherkindness/droste

  recursion schemes for cats; to iterate is human, to recurse, divine

  Language:Scala387273853

• Duckonaut/split-monitor-workspaces

  A small Hyprland plugin to provide awesome-like workspace behavior

  Language:C++37957651

• recursion-schemes/recursion-schemes

  Generalized bananas, lenses and barbed wire

  Language:Haskell343207156

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26323327

• ryangrose/easy-pandoc-templates

  A collection of portable pandoc templates with no dependencies

  Language:HTML1854825

• soupi/rfc

  My slides and compilation of resources.

  Language:Haskell1508011

• cronokirby/haskell-in-haskell

  Trying to write an understandable implementation of Haskell, in Haskell

  Language:Haskell120505

• sweirich/challenge

  Strongly-typed System F in Haskell

  Language:Haskell1171239

• zehaochen19/vanilla-lang

  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

  Language:Haskell90303

• sellout/yaya

  Yet another yet another recursion scheme library in Haskell.

  Language:Haskell87644

• mkeeter/ssra

  The Solid-State Register Allocator

  Language:Rust84314

• mlemerre/l-lang

  Compiler and tools for the L programming language

  Language:OCaml726610

• asperti/BOHM1.1

  Bologna Optimal Higher-Order Machine, Version 1.1

  Language:C69518

• mrkkrp/ghc-syntax-highlighter

  Syntax highlighter for Haskell using the lexer of GHC

  Language:Haskell593107

• AndrasKovacs/normalization-bench

  Lambda normalization and conversion checking benchmarks for various implementations

  Language:Haskell541386

• dagit/happy-plus-alex

  Template for quickly and easily combining happy and alex

  Language:Logos48407

• rampion/kinder-functor

  An alternate definition of Haskell's Functor typeclass

  Language:Haskell42324

• skeeto/bf-x86

  x86_64 brainfuck compiler

  Language:C40725

• ayazhafiz/plts

  A collection of programming languages and type systems.

  Language:OCaml33484

• iagoleal/iagoleal.github.io

  Personal site and blog

  Language:Markdown8421

• luqui/manifesto

  A(nother) structural editor (attempt) inspired by paredit

  Language:Haskell730

• chrisnevers/racket-compiler

  "Racket" to x86 compiler

  Language:OCaml6200

• utgwkk/lazy-lazy

  ML interpreter with lazy evaluation

  Language:OCaml5310