Ahmed Refaat's repositories

apple-pencil-safari-api-test

Canvas sketch board, force touch, real-time Bezier curve.

Language:HTMLStargazers:0Issues:1Issues:0

Awesome-Design-Tools

The best design tools and plugins for everything 👉

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

License:NOASSERTIONStargazers:0Issues:1Issues:0

cervus

The Cervus Subsystem for Linux

Language:RustLicense:GPL-2.0Stargazers:0Issues:2Issues:0

citrine

Citrine Programming Language

Language:CLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

collapseos

Bootstrap post-collapse technology

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

datafun

Research on integrating datalog & lambda calculus via monotonicity types

Language:TeXStargazers:0Issues:2Issues:0

declarative-dataflow

A library and server providing a Datalog-inspired interface on top of Differential Dataflow.

Language:RustLicense:MITStargazers:0Issues:2Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

graphql-engine

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

Language:JavaScriptLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

interactive-shape-recognition

Implementaion of "A Simple Approach to Recognise Geometric Shapes Interactively" by Joaquim A. Jorge and Manuel J. Fonseca.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

Language:RustLicense:MITStargazers:0Issues:1Issues:0

KeyboardAvoider

The missing interactive keyboard in SwiftUI for iOS

Language:SwiftLicense:MITStargazers:0Issues:1Issues:0

lang

Language core: compiler and runtime

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

loose-leaf

Intuitive note taking app. Import and annotate PDFs, manipulate imported photos with intuitive gestures, and take notes with Apple Pencil.

Language:Objective-CLicense:MITStargazers:0Issues:1Issues:0

mark

A simple and unified notation for both object data, like JSON, and markup data, like HTML and XML. (beta)

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

noria

Dynamically changing, partially-stateful data-flow for web application backends.

Language:RustStargazers:0Issues:2Issues:0

parcera

Grammar-based Clojure(script) parser

Language:ClojureLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

peerdium

:heart: Peer to peer publishing platform

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

Pineapple

Definition for Pineapple language and its compiler

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

popmotion

A functional, reactive animation library.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

reform-swift

Swift implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"

Language:SwiftLicense:MITStargazers:0Issues:1Issues:0

rootfinder

Arabic root finder with neural nets!

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:2Issues:0

runebender

A font editor written in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

schism

CRDTs in Clojure(Script) with EDN Serialization

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:1Issues:0

syndicate

syn·di·cate: a language for interactive programs

Language:RacketLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

the-one-cert

One cert to rule them all: SSL cert that is valid for any and all domains + all levels of subdomains

Language:JavaScriptStargazers:0Issues:1Issues:0

VisualProgrammingLanguage

A visual programming language written in Swift that assembles to executable Swift code. WWDC '18 scholarship submission.

Language:SwiftLicense:MITStargazers:0Issues:2Issues:0

YCSB

Yahoo! Cloud Serving Benchmark

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Zilliqa

Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands ​of transactions per second.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0