levinem

levinem's Stars

• bitcoin/bitcoin

  Bitcoin Core integration/staging tree

  Language:C++78.9k4k8.2k36.3k

• JetBrains/kotlin

  The Kotlin Programming Language.

  Language:Kotlin49.2k1.5k05.7k

• jgm/pandoc

  Universal markup converter

  Language:Haskell34.3k5157.6k3.4k

• solidjs/solid

  A declarative, efficient, and flexible JavaScript library for building user interfaces.

  Language:TypeScript32.3k2111k923

• ariya/phantomjs

  Scriptable Headless Browser

  Language:C++29.5k1.1k4.7k5.8k

• facebook/folly

  An open-source C++ library developed and used at Facebook.

  Language:C++28.3k1k1.1k5.5k

• immerjs/immer

  Create the next immutable state by mutating the current one

  Language:JavaScript27.6k156659849

• ramda/ramda

  :ram: Practical functional Javascript

  Language:JavaScript23.8k2651.6k1.4k

• clojure/clojure

  The Clojure programming language

  Language:Java10.5k68101.5k

• cyclejs/cyclejs

  A functional and reactive JavaScript framework for predictable code

  Language:TypeScript10.2k199647418

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k394271454

• distribution/distribution

  The toolkit to pack, ship, store, and deliver container content

  Language:Go8.9k2532.2k2.5k

• JetBrains/kotlin-native

  Kotlin/Native infrastructure

  Language:Kotlin7k2521.1k565

• Kotlin/kotlinx.serialization

  Kotlin multiplatform / multi-format serialization

  Language:Kotlin5.4k1012k620

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k95789142

• arximboldi/immer

  Postmodern immutable and persistent data structures for C++ — value semantics at scale

  Language:C++2.5k65134181

• android/ndk

  The Android Native Development Kit

  2k2121.9k257

• purescript-halogen/purescript-halogen

  A declarative, type-safe UI library for PureScript.

  Language:PureScript1.5k43420218

• snipcart/learn-vanilla-js

  Open source list of paid & free resources to learn vanilla JavaScript

  1.5k912246

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript791204286

• arximboldi/lager

  C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++

  Language:C++707298766

• gelisam/frp-zoo

  Comparing many FRP implementations by reimplementing the same toy app in each.

  Language:Haskell490295331

• ivanperez-keera/Yampa

  Functional Reactive Programming domain-specific language for efficient hybrid systems

  Language:Haskell4472025051

• elm/projects

  Curated collection of projects for folks looking to collaborate within the Elm ecosystem.

  424801537

• stevenfontanella/microlens

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

  Language:Haskell2851112340

• paf31/purescript-sdom

  An experiment in replacing the virtual DOM and avoiding diffing

  Language:PureScript161151713

• paf31/purescript-purview

  A UI library based on the incremental lambda calculus

  Language:PureScript11213211

• chipsalliance/fasm

  FPGA Assembly (FASM) Parser and Generator

  Language:Python90154630

• f4pga/ideas

  Random ideas and interesting ideas for things we hope to eventually do.

  8629629

• paf31/purescript-incremental-functions

  Incremental lambda calculus

  Language:PureScript801128