RaoulSchaffranek

RaoulSchaffranek's Stars

• tensorflow/tensorflow

  An Open Source Machine Learning Framework for Everyone

  Language:C++186k7.6k40k74.3k

• css-modules/css-modules

  Documentation about css-modules

  17.7k219356558

• facebookarchive/flux

  Application Architecture for Building User Interfaces

  Language:JavaScript17.5k6372413.5k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.8k1166.2k1.5k

• acornjs/acorn

  A small, fast, JavaScript-based JavaScript parser

  Language:JavaScript10.6k176803886

• stackblitz/core

  Online IDE powered by Visual Studio Code ⚡️

  10.3k2003k920

• phpDocumentor/TypeResolver

  A PSR-5 based resolver of Class names, Types and Structural Element Names

  Language:PHP9.1k135650

• phan/phan

  Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

  Language:PHP5.5k1062.8k359

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k234

• w3c/aria-practices

  WAI-ARIA Authoring Practices Guide (APG)

  Language:HTML1.2k1101.4k345

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell9191435087

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX754551866

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris53981036

• giorgiosironi/eris

  Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.

  Language:PHP410173732

• Malax/elmboy

  A Nintendo™ Game Boy™ Emulator written in Elm.

  Language:Elm311578

• stevenfontanella/microlens

  A lightweight (but compatible with ‘lens’) lenses library

  Language:Haskell2851112340

• cdiggins/cat-language

  Cat - a statically typed functional stack-based programming language

  Language:C#25312512

• lulu-berlin/rusty-typescript

  A TypeScript compiler written in Rust

  Language:TypeScript2347166

• tfausak/flow

  :droplet: Write more understandable Haskell.

  Language:Haskell20071211

• SPY/haskell-wasm

  Haskell WebAssembly Toolkit

  Language:Haskell151101124

• davidtheclark/react-aria-tabpanel

  A fully accessible, extravagantly flexible, React-powered Tab Panel component

  Language:JavaScript12172228

• seL4/isabelle

  git mirror of the Munich isabelle hg repository

  Language:Isabelle11533040

• idris-hackers/IdrisWeb

  A secure web framework, built in the Idris language.

  Language:TeX1094146

• zjhmale/vscode-idris

  Idris for Visual Studio Code

  Language:JavaScript106311121

• SPY/idris-codegen-wasm

  WebAssembly Code Generation Backend for Idris Compiler

  Language:Haskell84913

• edwinb/EpiVM

  Epic - a Supercombinator Compiler

  Language:TeX655710

• phoityne/haskell-dap

  Haskell implementation of DAP interface data.

  Language:Haskell243123

• nelson6e65/phpdoc-vuepress

  🎨 Template for generating your PHP API documentation in a pretty VuePress format

  Language:Twig214112

• robotlolita/effects

  (experiment) Composable effects with one-shot continuations for JavaScript!

  Language:JavaScript1850

• michaelt/lens-simple

  simplified import of lens-family

  Language:Haskell17522