The Wayback Machine - http://web.archive.org/web/20220330211908/https://github.com/topics/ideas
Skip to content
#

ideas

Star

Here are 365 public repositories matching this topic...

Language: All
Filter by language
All 365 JavaScript 41 Python 26 HTML 23 Java 16 CSS 14 Ruby 10 TypeScript 9 C 7 PHP 7 Go 6
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

getfider / fider

Star 1.9k
Open

All pending migrations should run, regardless of their timestamp

goenning
goenning commented Jul 24, 2021

Fider currently only run migrations that have a timestamp higher than the last executed migration.

This means we need to be extra careful when merging PRs to ensure the timestamp on the migration files are always accurate.

Ruby on Rails takes another approach where they run all migrations that have not yet been executed on the server. They still apply it in order of timestamp, but allows P

Read more
good first issue help wanted

Divide-By-0 / ideas-for-projects-people-would-use

Star 298

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.

music chrome-extension playlist spotify awesome ideas startup free software awesome-list independent whattodo
  • Updated Mar 22, 2022
ideas

cpp-ru / ideas

Star 58
Open

Определить `template<size_t N> std::string_view::string_view(const char (&)[N]);`

1
pavelkryukov
pavelkryukov commented Jan 29, 2022

C-массив можно инициализировать литералом или списком:

const char array1[] = "abcdefgh";
const char array2[8] = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h'};

Конструктор std::string_view неявно преобразует ссылку на C-массив в const char*.
Для array1 вызовется strlen (использовать N не будем, т.к. внутри литерала может быть \0).
array2 же не нуль-терминирован, и вызов

Read more
good first issue
Find more good first issues
plt-formal-methods-resources

SatyendraBanjare / plt-formal-methods-resources

Star 24

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

coq ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing
  • Updated Aug 17, 2019

Improve this page

Add a description, image, and links to the ideas topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ideas topic, visit your repo's landing page and select "manage topics."

Learn more