contractpendev

contractpendev's Stars

• statebox/idris-ct

  formally verified category theory library

  Language:Idris25923

• joeferner/node-java-maven

  Utility for Node's java module to load mvn dependencies.

  Language:JavaScript8428

• trishullab/bayou

  System for synthesizing Java API idioms, powered by Neural Sketch Learning

  Language:Java27780

• nau/lasca-compiler

  Lasca is Scala shifted towards Haskell.

  Language:C1285

• Ro5s/Startup-Starter-Pack

  Collection of model legal documents for common startup setup and fundraising needs

  10120

• Nihcep/Hyperledger-Fabric-Automate-Installer

  Hyperledger fabric tools

  Language:Python910

• hyperledger-archives/composer-tools

  :warning: :warning: :warning: Hyperledger Composer has been deprecated :warning: :warning: :warning:

  Language:JavaScript7484

• f/graphql.js

  A Simple and Isomorphic GraphQL Client for JavaScript

  Language:JavaScript2.3k89

• phosphorjs/phosphor

  The PhosphorJS Library

  Language:TypeScript1k168

• accordproject/models

  Accord Project Model Repository

  Language:JavaScript2942

• ampretia/composer-opus

  Proof-of-idea to generate markdown docs from Business Network Definition

  Language:JavaScript1

• keijiro/Pix2Pix

  Real-time pix2pix implementation with Unity

  Language:C#1k134

• NVIDIA/vid2vid

  Pytorch implementation of our method for high-resolution (e.g. 2048x1024) photorealistic video-to-video translation.

  Language:Python8.6k1.2k

• unosquare/embedio

  A tiny, cross-platform, module based web server for .NET

  Language:C#1.5k178

• NancyFx/Nancy

  Lightweight, low-ceremony, framework for building HTTP based services on .Net and Mono

  Language:C#7.1k1.5k

• leon-vv/FerryJS

  A ferry between Idris land and JavaScript land: convert values easily

  Language:Idris1

• leon-vv/Todo

  Idris Todo web application example

  Language:Idris423

• leon-vv/Http

  Http module for Idris (small wrapper around Node.js)

  Language:Idris1

• Code-Sharp/uHttpSharp

  A very lightweight & simple embedded http server for c#

  Language:C#11143

• stanch/reftree

  Automatically generated diagrams and animations for Scala data structures

  Language:Scala58836

• aichbauer/express-graphql-boilerplate

  Express GraphQL API with JWT Authentication and support for sqlite, mysql, and postgresql

  Language:JavaScript24761

• GoogleChromeLabs/ndb

  ndb is an improved debugging experience for Node.js, enabled by Chrome DevTools

  Language:JavaScript10.9k231

• dtinit/data-transfer-project

  The Data Transfer Project makes it easy for platforms to build interoperable user data portability features. We are establishing a common framework, including data models and protocols, to enable direct transfer of data both into and out of participating online service providers.

  Language:Java3.6k481

• LexPredict/lexpredict-lexnlp

  LexNLP by LexPredict

  Language:Jupyter Notebook705179

• billchurch/webssh2

  Web SSH Client using ssh2, socket.io, xterm.js, and express. webssh webssh2

  Language:JavaScript2.4k536