Pinned Repositories
apple-pencil-safari-api-test
Canvas sketch board, force touch, real-time Bezier curve.
Awesome-Design-Tools
The best design tools and plugins for everything 👉
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
bookstuff
cervus
The Cervus Subsystem for Linux
citrine
Citrine Programming Language
collapseos
Bootstrap post-collapse technology
datafun
Research on integrating datalog & lambda calculus via monotonicity types
declarative-dataflow
A library and server providing a Datalog-inspired interface on top of Differential Dataflow.
Eve
Better tools for thought
ahmedmrefaat's Repositories
ahmedmrefaat/apple-pencil-safari-api-test
Canvas sketch board, force touch, real-time Bezier curve.
ahmedmrefaat/Awesome-Design-Tools
The best design tools and plugins for everything 👉
ahmedmrefaat/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
ahmedmrefaat/cervus
The Cervus Subsystem for Linux
ahmedmrefaat/citrine
Citrine Programming Language
ahmedmrefaat/collapseos
Bootstrap post-collapse technology
ahmedmrefaat/datafun
Research on integrating datalog & lambda calculus via monotonicity types
ahmedmrefaat/declarative-dataflow
A library and server providing a Datalog-inspired interface on top of Differential Dataflow.
ahmedmrefaat/eve-native
ahmedmrefaat/graphql-engine
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
ahmedmrefaat/interactive-shape-recognition
Implementaion of "A Simple Approach to Recognise Geometric Shapes Interactively" by Joaquim A. Jorge and Manuel J. Fonseca.
ahmedmrefaat/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
ahmedmrefaat/KeyboardAvoider
The missing interactive keyboard in SwiftUI for iOS
ahmedmrefaat/lang
Language core: compiler and runtime
ahmedmrefaat/loose-leaf
Intuitive note taking app. Import and annotate PDFs, manipulate imported photos with intuitive gestures, and take notes with Apple Pencil.
ahmedmrefaat/mark
A simple and unified notation for both object data, like JSON, and markup data, like HTML and XML. (beta)
ahmedmrefaat/noria
Dynamically changing, partially-stateful data-flow for web application backends.
ahmedmrefaat/parcera
Grammar-based Clojure(script) parser
ahmedmrefaat/peerdium
:heart: Peer to peer publishing platform
ahmedmrefaat/Pineapple
Definition for Pineapple language and its compiler
ahmedmrefaat/popmotion
A functional, reactive animation library.
ahmedmrefaat/reform-swift
Swift implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"
ahmedmrefaat/rootfinder
Arabic root finder with neural nets!
ahmedmrefaat/runebender
A font editor written in Rust.
ahmedmrefaat/schism
CRDTs in Clojure(Script) with EDN Serialization
ahmedmrefaat/syndicate
syn·di·cate: a language for interactive programs
ahmedmrefaat/the-one-cert
One cert to rule them all: SSL cert that is valid for any and all domains + all levels of subdomains
ahmedmrefaat/VisualProgrammingLanguage
A visual programming language written in Swift that assembles to executable Swift code. WWDC '18 scholarship submission.
ahmedmrefaat/YCSB
Yahoo! Cloud Serving Benchmark
ahmedmrefaat/Zilliqa
Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands of transactions per second.