gmarpons

gmarpons's Stars

• tweag/servant-template

  A modern template for a Servant

  Language:Haskell517

• philschonholzer/co2db

  Language:Haskell8

• facebook/duckling

  Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

  Language:Haskell4k719

• gmarpons/asciidoc-hs

  AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell

  Language:Haskell474

• enso-org/enso

  Hybrid visual and textual functional programming.

  Language:Scala7.3k321

• ejconlon/blanks

  Fill-in-the-blanks - A library factoring out substitution from ASTs

  Language:Haskell61

• decidim/decidim

  The participatory democracy framework. A generator and multiple gems made with Ruby on Rails

  Language:Ruby1.4k394

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall909211

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k173

• rwe/actions-hlint-run

  GitHub Action: Run hlint

  Language:TypeScript61

• nick8325/quickspec

  Equational laws for free

  Language:Haskell24724

• nadia-polikarpova/synquid

  Language:Haskell11814

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.6k353

• bitcoin-0/btc0

  15621

• tomjaguarpaw/tilapia

  Improving all Haskell's programmer interfaces

  652

• konclude/Konclude

  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL

  Language:C++354

• celiavelmar/open-covid19-test

  An open source COVID-19 autoevaluation test that gives you the same results as coronamadrid.com but does not store your valuable data.

  Language:Vue16125

• italia/docs-italia-pandoc-filters

  Filtri pandoc per Docs Italia

  Language:Haskell43

• italia/docs-italia-comandi-conversione

  Comandi di conversione di formato per Docs Italia

  Language:Haskell73

• flycheck/flycheck

  On the fly syntax checking for GNU Emacs

  Language:Emacs Lisp2.4k449

• emacs-helm/helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.4k390

• magit/magit

  It's Magit! A Git Porcelain inside Emacs.

  Language:Emacs Lisp6.4k804

• justbur/emacs-which-key

  Emacs package that displays available keybindings in popup

  Language:Emacs Lisp1.7k87

• fpco/inline-c

  Language:Haskell28451

• jgm/gitit

  A wiki using HAppS, pandoc, and git

  Language:Haskell2.1k225

• axilmar/parserlib

  A c++ recursive-descent generic parsing library that supports left recursion.

  Language:C++9019

• occupydata/Occupy-data-processing

  Code for manipulating, cleaning, analyzing, and visualizing data for the Occupy movement

  Language:R53

• occupynet/OccupyMap

  Ushahidi deployment for OWS

  Language:PHP164

• llvm-mirror/libcxx

  Project moved to: https://github.com/llvm/llvm-project

  Language:C++717356

• llvm-mirror/clang

  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project

  Language:C++3k1.7k