Refinement types for Scala

Scala1676mit

2 months ago

refinement-typesscalatypelevel

A React Framework for building internal tools, admin panels, dashboards & B2B a

TypeScript16791mit

5 months ago

adminadmin-uiant-design

Description Refined GitHub is a Safari extension that simplifies the GitHub.c

TypeScript23189mit

4 days ago

browser-extensionchrome-extensionfirefox-addon

A refined core library for D programming language. The module has concurrency /

D93apache-2.0

4 months ago

asynchronouscollectionconcurrency

The classic, refined DOOM source port. For Windows PC.

C625gpl-3.0

yesterday

boomcdoom

Refined Evernote desktop app

JavaScript3146mit

6 months ago

appdesktopevernote

Recall refines the use of Neovim marks by focusing on global marks, streamlining

Lua16mit

2 months ago

A well-structured production-ready frontend boilerplate with Typescript, React

TypeScript2690

4 months ago

best-practicesboilerplatecli

Description NEW: Instantly transpose individual parts to join a multi-part mu

TypeScript1360bsd-3-clause

5 days ago

digital-sheet-musicmusicmusic-notation

Description macOS Big Sur elevates the most advanced desktop operating syste

TypeScript46mit

3 months ago

a11ya11y-apia11y-automation

Labeled records for Scala based on structural refinement types and macros.

Scala159bsd-3-clause

5 years ago

String metrics and phonetic algorithms for Elixir (e.g. Dice/Sorensen, Hamming,

Elixir76apache-2.0

5 years ago

Tweaked and refined Sublime Text theme based on the original cobalt.

1565

5 years ago

hacktoberfestsublime-text

An ideally refined web framework for Go.

Go436mit

last year

airframeworkgo

David McClain's 'Actors' package for LispWorks

Common Lisp11

6 years ago

:gem: Frontend access control framework based Vue

Vue1076mit

last year

access-controlaccess-managementauthorization