gitea: Gitea Service

larsenwork/ monoid

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

starred-repo starred-larsenwork-repo

Updated 2020-10-26 10:45:12 +03:00

nmattia/ snack

Nix 1 0

Nix-based incremental build tool for Haskell projects

starred-repo haskell nix build-tool starred-nmattia-repo

Updated 2020-10-16 16:05:46 +03:00

haskell/ haskell-ide-engine

Haskell 1 0

The engine for haskell ide-integration. Not an IDE

starred-repo haskell ghc starred-haskell-repo ide language-server-protocol lsp haskell-ide

Updated 2020-10-07 19:52:00 +03:00

ekmett/ lens-core

Haskell 1 0

Either a proper lens core library once ghc 8.4 is sufficiently far in the rearview mirror or a tool to avoid `lens-core` confusing users in case we use `lens:core` and cabal 3.4

starred-repo starred-ekmett-repo

Updated 2020-09-24 06:56:00 +03:00

cmiscm/ leonsans

JavaScript 1 0

Leon Sans is a geometric sans-serif typeface made with code in 2019 by Jongmin Kim.

starred-repo starred-cmiscm-repo

Updated 2020-09-21 08:40:08 +03:00

tfausak/ monadoc-5

Haskell 1 0

🔖 Better Haskell documentation.

starred-repo haskell documentation starred-tfausak-repo

Updated 2020-09-12 01:53:45 +03:00

jgm/ cheapskate

HTML 1 0

Experimental markdown processor in Haskell

starred-repo starred-jgm-repo

Updated 2020-09-10 19:17:44 +03:00

rikhuijzer/ test-caching

Nix 1 0

Cache Nix packages

starred-repo starred-rikhuijzer-repo

Updated 2020-09-08 22:34:45 +03:00

coseyfannitutti/ discipline

1 0

65% keyboard assembled with only through hole components, including usb type-c

starred-repo starred-coseyfannitutti-repo

Updated 2020-08-26 02:02:09 +03:00

jfischoff/ hasql-queue

Haskell 1 0

hasql postgres queue

starred-repo starred-jfischoff-repo

Updated 2020-08-23 09:50:51 +03:00

hsgw/ plaid

1 0

12x4 ortholinear usb keyboard made by Through Hole components ONLY.

starred-repo starred-hsgw-repo

Updated 2020-08-22 11:04:25 +03:00

edwinb/ Idris2-boot

Idris 1 0

A dependently typed programming language, a successor to Idris

starred-repo starred-edwinb-repo

Updated 2020-08-11 16:32:46 +03:00

rofrol/ elm-ui-cookbook

1 0

not really known

starred-repo starred-rofrol-repo

Updated 2020-07-25 16:47:01 +03:00

AlexTatiyants/ pev

TypeScript 1 0

Postgres Explain Visualizer

starred-alextatiyants-repo starred-repo

Updated 2020-07-15 23:27:45 +03:00

ariya/ phantomjs

C++ 1 0

Scriptable Headless Browser

starred-repo automation headless headless-browser phantomjs starred-ariya-repo

Updated 2020-07-13 18:08:08 +03:00

serokell/ haskell-nix-weeder

Nix 1 0

Nix library to run weeder on haskell projects built with haskell.nix

starred-repo starred-serokell-repo

Updated 2020-06-23 07:44:53 +03:00

fabe/ gatsby-starter-deck

JavaScript 1 0

🗣 Create presentations using Gatsby, React & Markdown.

starred-repo markdown react slides presentations slideshow gatsby gatsby-starter gatsbyjs starred-fabe-repo

Updated 2020-06-16 19:27:47 +03:00

Kuratoro/ haskell.zettel.page

Dhall 1 0

Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)

starred-repo haskell wiki zettelkasten starred-kuratoro-repo

Updated 2020-06-11 21:00:27 +03:00

hyperstore2020/ Lightshot-Brute-Forcer

Python 1 0

Brute forces screenshots uploaded to https://prnt.sc/.

starred-repo starred-hyperstore2020-repo

Updated 2020-06-08 11:38:26 +03:00

joshuaclayton/ unused

Haskell 1 0

Deprecated; see https://github.com/unused-code/unused

starred-repo haskell cli code-quality ctags elixir ruby starred-joshuaclayton-repo

Updated 2020-05-28 05:47:40 +03:00