SPY

SPY's Stars

• hasura/graphql-engine

  Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

  Language:TypeScript31.3k3266.3k2.8k

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell24.2k3391.8k1k

• AssemblyScript/assemblyscript

  A TypeScript-like language for WebAssembly.

  Language:WebAssembly17k1971.4k667

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k105189409

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k409271452

• hendricius/pizza-dough

  This recipe is dedicated to helping you make the best possible pizza dough for Neapolitan pizza.

  Language:Ruby3.5k5432187

• Mojang/DataFixerUpper

  A set of utilities designed for incremental building, merging and optimization of data transformations.

  Language:Java1.2k9524138

• ollef/sixten

  Functional programming with fewer indirections

  Language:Haskell761498526

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell6492317652

• forest-lang/forest-compiler

  A multi-syntax functional programming language that compiles to WebAssembly.

  Language:Haskell62244913

• links-lang/links

  Links: Linking Theory to Practice for the Web

  Language:OCaml3331959043

• ekmett/trifecta

  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

  Language:Haskell297244549

• Opteo/google-ads-api

  Google Ads API client library for Node.js

  Language:TypeScript2732333893

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2562457

• frp-arduino/frp-arduino

  Arduino programming without the hassle of C.

  Language:Haskell248102620

• sabiwara/aja

  Extension of the Elixir standard library focused on data stuctures, data manipulation and performance

  Language:Elixir215536

• tweag/capability

  Extensional capabilities and deriving combinators

  Language:Haskell21551289

• coq-community/math-classes

  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

  Language:Coq163163443

• Ptival/PeaCoq

  PeaCoq is a pretty Coq, isn't it?

  Language:Coq10683810

• zenhack/haskell-capnp

  Cap'n Proto for Haskell

  Language:Haskell948013

• paulyoung/pureswift

  Swift backend for PureScript.

  Language:PureScript641112

• sellout/category-parametric-talk

  Talks on category-parametric programming.

  Language:Scala22402

• HuwCampbell/idris-lens

  van Laarhoven lenses for Idris

  Language:Idris20748

• Twinside/rasterific-svg

  Limited svg renderer based on Rasterific

  Language:Haskell14361

• samsergey/monopig

  Monoidal stack machine

  Language:Haskell10100

• s-panferov/skima

  [experimental] Rust structural web UI library

  Language:Rust7200

• 8ARTEK/rsme

  📘 A simple 2-in-1 (HTML + PDF) resume generator

  Language:SCSS4101

• anmi/nicely-typed-routes

  Language:TypeScript4100

• jessica-taylor/haskell-wasm

  Haskell WebAssembly Toolkit

  Language:WebAssembly1100

• silversquirl/nwasm

  WebAssembly to native code compiler

  Language:Haskell120