guywaldman Goto Github PK

israeltechwriters

This repo aim to gather all Israelis tech writer, feel free to open Pull Request and add your self❤️

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

llhttp

Port of http_parser to llparse

mypyvy

A language for symbolic transitions system, inspired by Ivy.

oop-hw5-tests

Tests for OOP HW5

overreacted.io

Personal blog by Dan Abramov.

parquetjs

fully asynchronous, pure JavaScript implementation of the Parquet file format

pdp11-grammar

A PDP-11 Assembly syntax package for Atom

pl_ex6_tests

portaldocs

This repository contains documents for creating extension in Azure Portal. The SDK and documentation are not supported for teams outside Microsoft.

public-apis

A collective list of free APIs for use in software and web development.

pure

Pretty, minimal and fast ZSH prompt

python-docx

Create and modify Word documents with Python

ravro

Simple CLI for Apache Avro with a high-level API

raytracer-in-a-weekend-rs

A raytracer built in a weekend in Rust for fun (inspired by the "raytracer in a weekend" blog post)

react-ace

React Ace Component

react-d3-graph

Interactive and configurable graphs with react and d3 effortlessly

react-d3-tree

:deciduous_tree: React component to create interactive D3 tree graphs

react-redux-firebase-blog

React + Redux + Firebase = Blog Example + Authenticated

reactjs.org

The React documentation website

risp

A small lisp written in Rust

rs-graph

Graph and graph algorithms in Rust - a learning project for fun

sindresorhus

🦄

slither

A programming language for the modern world.

talisman

By hooking into the pre-push hook provided by Git, Talisman validates the outgoing changeset for things that look suspicious - such as authorization tokens and private keys.

terminal

The new Windows Terminal, and the original Windows console host -- all in the same place!

thank-you-github

An open letter of gratitude to GitHub

thesquareplanet.com

My homepage

title

A service for capitalizing your title properly

tree-sitter

An incremental parsing system for programmings tools