CoqRogue

CoqRogue's Stars

• sindresorhus/awesome

  😎 Awesome lists about all kinds of interesting topics

  327k7.8k34227.7k

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript293k6.8k2.3k38.7k

• h5bp/Front-end-Developer-Interview-Questions

  A list of helpful front-end related questions you can use to interview potential candidates, test yourself or completely ignore.

  Language:Nunjucks59.6k2.2k17611.1k

• fffaraz/awesome-cpp

  A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

  59k2k5757.8k

• prettier/prettier

  Prettier is an opinionated code formatter.

  Language:JavaScript49.2k4226.6k4.3k

• NARKOZ/hacker-scripts

  Based on a true story

  Language:JavaScript47.5k2.1k836.7k

• jaredpalmer/formik

  Build forms in React, without the tears 😭

  Language:TypeScript33.9k2302.2k2.8k

• microsoft/MS-DOS

  The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

  Language:Assembly30.6k74704.4k

• microsoft/calculator

  Windows Calculator: A simple yet powerful calculator that ships with Windows

  Language:C++29.6k5891.1k5.4k

• zyedidia/micro

  A modern and intuitive terminal-based text editor

  Language:Go24.9k2632.3k1.2k

• react-dnd/react-dnd

  Drag and Drop for React

  Language:TypeScript20.9k1891.7k2k

• github/opensource.guide

  📚 Community guides for open source creators

  Language:HTML14k1.3k014.4k

• casesandberg/react-color

  :art: Color Pickers from Sketch, Photoshop, Chrome, Github, Twitter & more

  Language:JavaScript12k81549916

• jessepollak/card

  :credit_card: make your credit card form better in one line of code

  Language:SCSS11.7k2383561.5k

• arasatasaygin/is.js

  Micro check library

  Language:JavaScript9.2k232160626

• microsoft/vscode-tips-and-tricks

  Collection of helpful tips and tricks for VS Code.

  9.1k36130707

• microsoft/winfile

  Original Windows File Manager (winfile) with enhancements

  Language:C6.8k216195706

• stdlib-js/stdlib

  ✨ Standard library for JavaScript and Node.js. ✨

  Language:JavaScript4.3k54966441

• clementine-player/Clementine

  :tangerine: Clementine Music Player

  Language:C++3.7k1426.2k674

• scribbletune/scribbletune

  Create music with JavaScript

  Language:TypeScript3.7k89109236

• jensimmons/cssremedy

  Start your project with a remedy for the technical debt of CSS.

  Language:CSS2.2k9859112

• casesandberg/reactcss

  :lipstick: Inline Styles in JS

  Language:JavaScript1.6k244575

• naturalcrit/homebrewery

  Create authentic looking D&D homebrews using only markdown

  Language:JavaScript1.1k331.5k326

• redblobgames/mapgen4

  Mapgen4 procedural wilderness map generator

  Language:TypeScript63319989

• chummer5a/chummer5a

  Character generator for Shadowrun 5th edition

  Language:C#601794.2k314

• dleitee/react-fetches

  🐙React Fetches a new way to make requests into your REST API's.

  Language:JavaScript2495811

• owlchester/kanka

  Worldbuilding and RPG campaign management tool

  Language:PHP24914076

• react-dnd/dnd-core

  Drag and drop sans the GUI [Legacy Repo]

  Language:JavaScript214151635

• navikt/DSF

  Det Sentrale Folketrygdsystemet

  Language:COBOL52601

• knowit/kodekalender

  Language:JavaScript51303