3 repos
Awesome GitHub RepositoriesType Checking Disciplines
Explore 3 awesome GitHub repositories matching programming languages & runtimes · Type Checking Disciplines. Refine with filters or upvote what's useful.
Awesome Type Checking Disciplines GitHub Repositories
We'll search the best matching repositories with AI.
- golang/go
Go is a statically typed, compiled programming language designed for building scalable, concurrent software. It provides a memory-safe execution environment that combines a high-performance runtime with a self-hosting compiler toolchain, enabling the creation of statically linked machine code binaries without external
Gogogolanglanguage - Asabeneh/30-Days-Of-Python
This project is a structured educational curriculum designed to guide beginners through the fundamental concepts and syntax of the Python programming language. It functions as a self-paced technical training resource, providing a curated path for individuals to acquire core software development skills through a series
Python30-days-of-pythondatadata-science - JetBrains/kotlin
Kotlin is a statically typed, general-purpose programming language designed for type safety and concise syntax. It functions as a cross-platform development toolkit that enables the sharing of business logic across mobile, web, and server-side environments by compiling a unified intermediate representation into platfor
Kotlincompilergradle-pluginintellij-plugin
