Doménově specifické jazyky (DSL)

Narozdíl od obecných programovacích jazyků, jako je C# či C++, je každý doménově specifický jazyk určený pouze pro určitou podúlohu, typicky v nějakém větším systému. DSL jsou ideální pro zájemce o kompilátory, neboť mohou s rozumně vynaloženým úsilím přinášet vysokou přidanou hodnotu díky potenciálnímu zjednodušení a zefektivnění kódu. Nápady na témata v této oblasti:

• DSL pro analýzu datového toku v Roslynu (kompilátor Microsoftu pro C# a VB)
• "Továrna" na DSL - rozšíření do IDE umožňující uživatelům jednoduše vyvíjet vlastní DSL, automaticky poskytující např. tooltipy, IntelliSense, debugování apod. (implementace možná v různých jazycích, ideální by to ale bylo asi v .NETu, případně JavaScriptu)

Pomocník pro výhodné nakupování kostek Lego (pracovní název "Kostkočmuch")

Kdo někdy kupoval Lego, ví, že jednotlivé sety bývají zatraceně drahé. To ale mnohdy není nic proti cenám jednotlivých kostek, které shánějí stavitelé při vytváření vlastních modelů. Existuje několik různých zdrojů, na nichž se mohou kostky výrazně lišit cenou i dostupností: Bricklink, Pick a Brick, Bricks & Pieces, eBay,... Nejvýhodnější cestou, jak určitou množinu kostek získat, může být nákup jejich kombinace z několika různých zdrojů. Momentálně však neexistuje žádný nástroj, který by toto umožňoval, proto čas volá "Kostkočmucha". Možné featury (podle jejich výběru lze téma naškálovat od ročníkového projektu až po skupinový softwarový projekt):

• Parsování dat z různých zdrojů
• Rozpoznávání konkrétních kostek ve fotkách a videích (např. u inzerátů či při procházení kostek doma)
• Přehled o vývoji ceny každé z kostek
• Optimalizační algoritmus pro výběr kombinace různých zdrojů

Téma je vhodné pro procvičení vývoje cloudových aplikací s architekturou mikroslužeb, ale stejně tak dobře jej lze naimplementovat jako desktopovou aplikaci.

GitHub pro Lego modely

Ačkoliv komunita stavitelů Lego modelů je značná, momentálně si většina z nich tak nějak "hraje na vlastním písečku", tj. tvoří si vlastní modely a sem tam je upravuje na základě zpětné vazby z okolí. U veřejně dostupných Lego modelů chybí možnosti, které známe ze světa programování a open source: trasování změn pomocí verzovacího systému a jejich vizualizace, možnost "forknout" si model, upravit ho a změny zpětně začlenit pomocí pull requestu, kontinuální integrace (např. vyrenderování aktuální verze modelu) apod. Možné featury (jako téma si lze vybrat i jen jednu z nich):

• Vizuální "Diff and Merge Tool" pro Lego modely - zobrazování lze vyřešit např. touto knihovnou, ale je potřeba zejména navrhnout samotné porovnání rozdílů
• Webový front-end nad verzovacím systémem (nejlépe Gitem)
• Vytvoření workflow pro "kontinuální integraci" - např. renderování obrázků a videí z modelů, skládání více modelů dohromady, generování částí modelů
• Online editor/prohlížeč modelů (inspirace)

Implementace vysoce výkonných knihoven v .NETu

Ačkoliv je C# i platforma .NET poměrně populární, existuje poměrně zažité přesvědčení "pokud potřebuješ něco udělat opravdu efektivně, naprogramuj to v C++". Při programování v C# či F# se pak setkáváme s tím, že některé knihovny je nutné volat pomocí P/Invoke či v separátním procesu, což přináší režii navíc a znesnadňuje to i distribuci výsledných nástrojů. Posledních pár let se Microsoft v C# a .NET Core významně zaměřuje na optimalizaci výkonu (více info např. konference Dotnetos), což otevírá možnost programovat výkonné knihovny přímo v C# (do jisté míry i v F#). Konkrétní téma je možné si vybrat vlastní, zde jsou nápady z oblasti analýzy kódu:

• SMT řešič, t.j. nástroj schopný ověřit platnost výrazu v určité podmnožině predikátové logiky, např. ∃ x: x > 10 ∧ x < 15
• Datalog - zjednodušený Prolog, vhodný pro statickou analýzu kódu (zajímavý je např. projekt Soufflé)

Asistent pro Sid Meier's Colonization

Pomocný nástroj pro správu uložených her a jejich vizualizace, případně provádění statistik. Základní nástřel v F# naleznete zde. V rámci projektu je možné buď tento nástroj rozvinout o další featury, nebo jej celý naimplementovat znovu (v libovolném jazyce). Zajímavý projekt je rovněž Viceroy, který obsahuje např. strukturu souboru uložené hry.