heades

heades's Stars

• facebook/react-native

  A framework for building native applications using React

  Language:C++121k3.6k26.7k24.6k

• swiftlang/swift

  The Swift Programming Language

  Language:C++68.2k2.5k16.2k10.4k

• NativeScript/NativeScript

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

  Language:TypeScript24.6k6566.7k1.6k

• oblador/react-native-vector-icons

  Customizable Icons for React Native with support for image source and full styling.

  Language:TypeScript17.6k2011.3k2.1k

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell5k36827201

• dubzzz/fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  Language:TypeScript4.5k19563188

• signalapp/libsignal

  Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

  Language:Rust4k73167476

• apple/swift-collections

  Commonly used data structures for Swift

  Language:Swift4k159129324

• emeryberger/CSrankings

  A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

  Language:Python2.8k401.3k3.4k

• nirsky/react-native-size-matters

  A lightweight, zero-dependencies, React-Native utility belt for scaling the size of your apps UI across different sized devices.

  Language:JavaScript2.4k1451152

• typescript-language-server/typescript-language-server

  TypeScript & JavaScript Language Server

  Language:TypeScript2.1k18338162

• apple/swift-numerics

  Advanced mathematical types and functions for Swift

  Language:Swift1.7k4995148

• wasmi-labs/wasmi

  WebAssembly (Wasm) interpreter.

  Language:Rust1.7k47296300

• typelift/SwiftCheck

  QuickCheck for Swift

  Language:Swift1.4k4599105

• faylang/fay

  A proper subset of Haskell that compiles to JavaScript

  Language:Haskell1.3k7033489

• swiftlang/swift-docc

  Documentation compiler that produces rich API reference documentation and interactive tutorials for your Swift framework or package.

  Language:Swift1.2k125236135

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k372.6k245

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml99736700192

• rescript-react-native/rescript-react-native

  ReScript bindings for React Native

  Language:ReScript92125224149

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:Reason9031585855

• stackotter/swift-cross-ui

  A cross-platform declarative UI framework, inspired by SwiftUI.

  Language:Swift778165739

• tweag/HaskellR

  The full power of R in Haskell.

  Language:Haskell5885812847

• NativeScript/android

  NativeScript for Android using v8

  Language:C++53570898135

• TypeStrong/tsify

  Browserify plugin for compiling TypeScript

  Language:JavaScript3461820874

• banacorn/agda-mode-vscode

  agda-mode on VS Code

  Language:ReScript1731014542

• NativeScript/ios

  NativeScript for iOS and visionOS using V8

  Language:JavaScript1391612034

• Kitura/SwiftKafka

  Swift SDK for Apache Kafka

  Language:Swift6016819

• cmsc430/www

  CMSC 430 Design and Implementation of Programming Languages

  Language:Racket45104633

• WhoopInc/dogstatsde

  A StatsD (plus Datadog tag additions) client for Erlang

  Language:Erlang1223817

• the-au-forml-lab/au_ccs_letterhead_template

  Template for Augusta University Letterhead

  Language:TeX3150