chalin

chalin's Stars

• gohugoio/hugoDocs

  The source for https://gohugo.io/

  Language:CSS1.1k1.5k

• envygeeks/jekyll-assets

  :art: Asset pipelines for Jekyll.

  Language:Ruby1.1k169

• dart-lang/language

  Design of the Dart language

  Language:TeX2.7k205

• stackblitz/core

  Online IDE powered by Visual Studio Code ⚡️

  10.3k931

• dart-lang/dartdoc

  API documentation tool for Dart.

  Language:Dart473118

• yissachar/awesome-dart

  A curated list of awesome Dart frameworks, libraries, and software

  2.4k211

• dart-lang/sdk

  The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

  Language:Dart10.3k1.6k

• NativeScript/NativeScript

  ⚡ Empowering JavaScript with native platform APIs. ✨ Best of all worlds (TypeScript, Swift, Objective C, Kotlin, Java, Dart). Use what you love ❤️ Angular, Capacitor, Ionic, React, Solid, Svelte, Vue with: iOS (UIKit, SwiftUI), Android (View, Jetpack Compose), Dart (Flutter) and you name it compatible.

  Language:TypeScript24.3k1.6k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• ponylang/ponyc

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  Language:C5.7k415

• dotnet/roslyn

  The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

  Language:C#19.1k4k

• jgm/pandoc

  Universal markup converter

  Language:Haskell34.8k3.4k

• dart-archive/bleeding_edge-DEPRECATED-USE-SDK-INSTEAD

  NO LONGER SYNCING. use dart-lang/sdk

  Language:Dart21060

• google/error-prone

  Catch common Java mistakes as compile-time errors

  Language:Java6.9k744

• dart-lang/source_gen

  Automatic source code generation for Dart

  Language:Dart487107

• dart-archive/ts2dart

  ts2dart TypeScript to Dart transpiler

  Language:TypeScript18162

• pkozlowski-opensource/ng2-play

  A minimal Angular2 playground using TypeScript and SystemJS loader

  Language:JavaScript535230

• dart-archive/dev_compiler

  DEPRECATED - Moved to main SDK

  Language:JavaScript13327

• facebook/flow

  Adds static typing to JavaScript to improve developer productivity and code quality.

  Language:OCaml22.1k1.9k

• dartlab/dartlab

  Test and share your Dart script on DartLab.org

  Language:Dart115

• dart-lang/dart-pad

  An online Dart editor with support for console, web, and Flutter apps.

  Language:Dart1.7k555

• jscert/jscert

  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

  Language:Coq19612

• microsoft/ngconf2015demo

  TodoMVC application demo for ng-conf 2015

  Language:CSS392116

• microsoft/TypeScript-wiki

  A repository to make changes to the TypeScript Wiki on GitHub

  Language:JavaScript693307

• microsoft/TypeScriptSamples

  Community Driven Samples for TypeScript

  Language:TypeScript3.2k1.8k

• microsoft/CodeContracts

  Source code for the CodeContracts tools for .NET

  Language:C#883151

• angular/router

  The Angular 1 Component Router

  Language:JavaScript666135

• angular/assert

  A runtime type assertion library.

  Language:JavaScript3616

• angular/atscript-playground

  A repo to play with AtScript.

  Language:JavaScript14126

• angular/protractor

  E2E test framework for Angular apps

  Language:JavaScript8.7k2.3k