ibrahim Sağıroğlu's repositories
stlao-track
Check signal traces for formulas written in a custom Temporal Logic with Arithmetic Operations
elements-data
Content for canberead.com/elements
paypal-python
Implementation of PayPal APIs in Python
brick
A declarative terminal UI programming library written in Haskell (releases at http://hackage.haskell.org/package/brick)
dstar-experiments
An implementation for multiagent systems class
heroku-buildpack-nodejs
The official Heroku buildpack for Node.js apps.
ibrahimsag
Config files for my GitHub profile.
languageXchange
We connect language learners worldwide. Practice and immerse yourself in different languages.
learn-wgpu
Guide for using gfx-rs's wgpu library.
libigl
Simple C++ geometry processing library.
nixos-infect
[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)
nixy
nixy - nginx auto configuration and service discovery for Mesos/Marathon
purescript-node-redis
Purescript Aff bindings for node-redis
pyminfraud
A Python library to interface with MaxMind's MinFraud web service API.
Seeing-Theory
Seeing Theory is a project designed and created by Daniel Kunin with support from Brown University's Royce Fellowship Program and National Science Foundation group STATS4STEM. The goal of the project is to make statistics more accessible to a wider range of students through interactive visualizations.
tree-sitter
An incremental parsing system for programming tools