EWOTE

EWOTE's Stars

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML630142

• valis/DT2019.1

  Материалы и задания по курсу "Программирование с зависимыми типами" 2019 года

  93

• anton-trunov/coq-lecture-notes

  Coq Lecture Notes (WIP)

  Language:Coq5010

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM29.3k12.1k

• janeczku/calibre-web

  :books: Web app for browsing, reading and downloading eBooks stored in a Calibre database

  Language:Fluent13.2k1.4k

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig35.2k2.6k

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k193

• QuantConnect/Lean

  Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

  Language:C#10k3.3k

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.5k1.2k

• tokio-rs/tokio

  A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

  Language:Rust27.2k2.5k

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k233

• rescript-lang/rescript

  ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

  Language:ReScript6.8k453

• coq-community/fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  Language:Coq16820

• ice1000/OI-codes

  :closed_lock_with_key: Solutions for online code challenges. Don't be evil.

  Language:C144

• ice1000/resume

  :space_invader: My resume / 我的简历

  Language:Typst733164

• csstree/csstree

  A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

  Language:JavaScript1.9k88

• phuocng/csslayout

  A collection of popular layouts and patterns made with CSS. Now it has 100+ patterns and continues growing!

  Language:MDX8.1k517

• piotrwitek/react-redux-typescript-guide

  The complete guide to static typing in "React & Redux" apps using TypeScript

  Language:TypeScript13.4k1.1k

• storybookjs/storybook

  Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation

  Language:TypeScript84.8k9.3k

• ksxnodemodules/typescript-tuple

  Generics to work with tuples in TypeScript

  Language:TypeScript1567

• typescript-cheatsheets/react

  Cheatsheets for experienced React developers getting started with TypeScript

  Language:JavaScript45.5k4.1k

• salesforce/akita

  🚀 State Management Tailored-Made for JS Applications

  Language:TypeScript3.7k344

• cujojs/most

  Ultra-high performance reactive programming

  Language:JavaScript3.5k206

• hyoo-ru/mam_mol

  $mol - fastest reactive micro-modular compact flexible lazy ui web framework.

  Language:TypeScript68559

• Riim/cellx

  The ultra-fast implementation of reactivity for javascript

  Language:TypeScript46015

• angular/angular

  Deliver web apps with confidence 🚀

  Language:TypeScript96.4k25.6k

• tc39/proposal-weakrefs

  WeakRefs

  Language:HTML40841

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml86241

• millsp/ts-toolbelt

  👷 TypeScript's largest type utility library

  Language:TypeScript6.8k148

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript79387