yjarrar

yjarrar's Stars

• foambubble/foam

  A personal knowledge management and sharing system for VSCode

  Language:TypeScript15.8k119719687

• edgedb/edgedb

  A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

  Language:Python13.4k1002.5k409

• AGWA/git-crypt

  Transparent file encryption in git

  Language:C++8.8k89215489

• projectkudu/kudu

  Kudu is the engine behind git/hg deployments, WebJobs, and various other features in Azure Web Sites. It can also run outside of Azure.

  Language:C#3.1k1702.3k655

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.6k655.6k367

• tjanczuk/iisnode

  Hosting node.js applications in IIS on Windows

  Language:C++1.9k124649581

• elasticdog/transcrypt

  transparently encrypt files within a git repository

  Language:Shell1.5k20109105

• twilio/twilio-node

  Node.js helper library

  Language:TypeScript1.4k88512526

• meteor-vue/vue-meteor

  🌠 Vue first-class integration in Meteor

  Language:JavaScript89648338111

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++84028625191

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell578466176

• meteor/blaze

  :fire: Meteor Blaze is a powerful library for creating live-updating user interfaces

  Language:JavaScript53045282115

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda47427251144

• plexinc/papr

  MongoDB TypeScript-aware Models

  Language:TypeScript46596823

• zxcalc/pyzx

  Python library for quantum circuit rewriting and optimisation using the ZX-calculus

  Language:OpenQASM41223149121

• cult-of-coders/redis-oplog

  Redis Oplog implementation to fully replace MongoDB Oplog in Meteor

  Language:JavaScript3812629984

• microsoft/ApplicationInsights-node.js

  Microsoft Application Insights SDK for Node.js

  Language:TypeScript32995651144

• fasiha/ebisu

  Public-domain Python library for flashcard quiz scheduling using Bayesian statistics. (JavaScript, Java, Dart, and other ports available!)

  Language:Python318175432

• Meteor-Community-Packages/meteor-scss

  Node-sass wrapped to work with meteor.

  Language:JavaScript3111625776

• project-oak/rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  Language:Rust272165637

• qctrl/open-controls

  🎛 Q-CTRL Open Controls

  Language:Python10838735

• PPPLDeepLearning/plasma-python

  PPPL deep learning disruption prediction package

  Language:Python8293142

• fractal-code/meteor-azure

  Automate Meteor deployments on Azure App Service

  Language:JavaScript6737520

• cherab/core

  The core source repository for the Cherab project.

  Language:Python451225824

• cult-of-coders/quantum-framework

  Quantum Framework

  Language:JavaScript8401

• gwendall/meteor-mongo-algolia-sync

  Automatically sync a Mongo collection to an Algolia index

  Language:JavaScript7234

• fractal-code/mdl-blaze

  Input elements for Material Design Lite and templates:forms

  Language:CSS2310

• fractal-code/meteor-azure-server-init

  Meteor Azure, server initialisation script

  Language:Shell2202

• convexset/meteor-randomness

  A meteor package providing tools for doing stochastic modelling and statistics (with seedable PRNGs)

  Language:JavaScript120

• ramijarrar/iisnode

  Hosting node.js applications in IIS on Windows

  Language:C++1100