Search Results - RepositoryStats

2

278

unknown

3

👾 Sokoban Game in Pure TypeScript Type System

type vscode sokoban unicode ascii-game typescript typesystem compiletime type-system typescript4 sokoban-game string-literals type-gymnastics visual-studio-code template-literal-types

Created 2021-09-09

5 commits to master branch, last one 3 years ago

contextual propensive

23

251

unknown

14

Statically-checked string interpolation in Scala

scala parsing compiletime string-literals string-interpolation

Created 2016-11-24

393 commits to main branch, last one 25 days ago

Nullable manuelroemer

8

185

mit

13

A source code only package which allows you to use .NET's nullable attributes in older target frameworks like .NET Standard 2.0 or the "old" .NET Framework.

null csharp source notnull nullable polyfill allownull attribute maybenull compiletime notnullwhen disallownull doesnotreturn maybenullwhen membernotenull doesnotreturnif notnullifnotnull membernotnullwhen

Created 2019-09-25

71 commits to master branch, last one 8 months ago

IsExternalInit manuelroemer

4

99

mit

7

A source code only package which allows you to use C# 9's init and record features in older target frameworks like .NET Standard 2.0 or the "old" .NET Framework by providing a polyfill for the IsExter...

init record source polyfill compiletime isexternalinit

Created 2020-11-21

22 commits to master branch, last one 2 years ago

nim-contra juancarlospaco

3

53

mit

5

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

nim hardened nim-lang contracts hardening immutable nimscript self-test javascript compiletime testing-tools assertion-library immutable-objects testing-framework design-by-contract security-hardening contracts-programming

Created 2019-06-28

95 commits to master branch, last one 2 years ago

laminar-full-stack-demo raquo

11

50

mit

7

Fully working client + server, dev + prod setup for Scala.js development, showcasing a bunch of Laminar & Scala.js patterns.

sbt json vite flyio scala docker http4s scalajs scala-js crossbuild sourcemaps compiletime hotreloading

Created 2023-10-10

90 commits to master branch, last one 2 months ago

STB cristeigabriel

3

36

wtfpl

1

Compile-time conversion library, from IDA-style string to array (supports wildcarding).

lib cpp17 cpp20 generic library template compiletime compile-time single-header single-header-lib template-metaprogramming

Created 2021-09-13

9 commits to main branch, last one about a year ago