A dedicated and determined individual with strong skills in writing clean, upto standard and efficient code. Learned in data structures, compilers and functional programming. Programming Languages: Proficient in C, Haskell, Scheme, Java, Rust and shell scripting. Familiar with Python, Standard ML, Coq, x86 and RISC-V assembly. Open Source: I am an open source citizen, and contribute patches when I can. Projects include: - PostgREST/postgrest (Member: 200+ commits) - torvalds/linux - ghc/ghc - haskell/cabal - racket/typed-racket - HOL-Theorem-Prover/HOL Github: taimoorzaeem Interests include: Discrete Mathematics, Compilers, Functional Programming, Theorem Proving, Unix/Linux Philosophy, Type Theory

Senior Software Engineer with 7+ years of experience leading development of full-stack systems, responsive UIs, cloud microservices, developer tools and libraries, scalable DevOps pipelines, real-time analytics platforms, and recent experience with AI-driven tooling and evaluation systems. Having served as a project lead responsible for defining client needs, architecting solutions, and managing development teams, I bring both strong technical depth and clear, consistent communication to every engagement. I approach problem solving as an active challenge of navigating resources, constraints, and objectives, always striving for outcomes that unite efficiency and elegance. This philosophy guides every aspect of my work, from system architecture to implementation details, ensuring solutions that are both practical and refined. I believe Competence and Communication are the foundations of a successful partnership. From requirements gathering to final delivery, I work closely with clients to understand their goals and translate them into high-quality, maintainable software solutions. Let's work together to bring your ideas to life.

Self-taught Haskell and NixOS free software developer since 2015, former self-taught OCaml software developer from 2005 to 2015, and self-taught GNU/Linux system administrator since 2010. Most of my work so far has consisted in understanding and (re)implementing algorithms found in scientific papers, with my main focus being on correctness. I do my best to understand what I do. I'm passioned by developing algorithms or fixing bugs. I am hardworking and a fast learner with communication skills for teaching and being accurate on technical matters.

I have over 18 years of programming experience. I love the world of computer programs and know a lot of programming languages. I have experience from system development to web programming. Currently, I'm a full stack system and mobile developer, with primer focus on C/C++. Before that I used Python (Django, Flask) for web. C/C++ (and a little bit of Fortran) for scientific development. Pure C - for microcontroller and Unix system tools. Got a view to Android/Java and iOS/Objective-C/Swift. Once I coded using Ocaml. So I could tell more about my programming live but program construction is not a rocket science. That's easy if you understood theory of computation, realized what means Chomsky hierarchy of grammars and don't afraid new virtual environment (It can be Linux kernel, GCC, LLVM, Bison, Haskell, Agda, Coq, etc). ;-) I hope that I can do amazing things for you!

I am a Systems and Backend developer with 8 years of programming experience, during which I have explored various domains, experimented with different technologies, and connected the dots to broaden my skill set. - Currently, my focus in development revolves around Rust and Ocaml. I also dedicate a substantial amount of time to Flutter for crafting mobile applications. For web-based projects with TypeScript, I engage with React or Svelte. - I predominantly perform my development work in "arch linux", considering it my default platform for programming tasks. I also use "windows 11" for video editing purposes. - Over the last two years, I've also explored blockchain technology, and I have settled on creating workable projects using Solana and Solidity. - I am proficient in working with databases such as Sqlite, MongoDB, Neo4j, and PostgreSQL - I also play with Docker, K8(for container orchestration) and firewall a lot and have deep knowledge of Netfilter module and it's working. In 2023, I was selected for Google Summer of Code and contributed to "TheTorProject". During this three-month program, I worked on developing a tool to monitor partitioning among relays in the Tor network Repos: Github : github.com/rishadbaniya Gitlab(TheTorProject specific only) : gitlab.torproject.org/rishadbaniya

My software career started when I was 14, with writing Ruby web apps for small businesses, freelance collectives, and failed startups (Instajournal anyone?). Now, another 14 years and hundreds of projects later: - I've built reactive web apps with React and reactive desktop apps with QtQuick; - I've worked on blockchains as well as an alternative to blockchains (Holochain); - I've designed low-cost zero-maintenance cloud apps comprised of AWS or GCP services; I've also managed custom baremetal deployments. - I've maintained an innovative Linux distribution (NixOS); I've even worked on Linux kernel device drivers. What I can bring to the table: - Breadth. Instead of trying to force a square peg into a round hole by implementing a technology that doesn't align with your use case, I can select something that's tailored to your domain. - Depth. If what you're trying to do is best solved with a patch to the operating system, the database, or the programming language, that's what I'm going to do. And have done before. - Security. - Simplicity. I have extensive experience with Clojure, Rust, Python, Ruby, Elixir, Erlang, Go, Rust, Java, JavaScript programming languages and their respective ecosystems. When it comes to DevOps, I'm familiar with NixOS (commit access since 2017), NetBSD, OpenBSD, RHEL, Debian. I have designed cloud application architectures using various AWS and GCP services. I'm a fan of React for web and Qt for desktop. I'm well versed in use of modern cryptographic primitives, from signatures to PAKE. I work Monday through Friday from 9 to 5 Eastern (13 to 21 UTC). Send me a message and let's figure it out!

I am a back-end programmer with experience in the business applications and data science fields. I am highly skilled at python and can also work in C++, Zig, and OCaml. If you are looking to hire a freelance programmer you are probably a business owner and as such you likely have needs that are not being properly met by readily available software. Maybe the software you are using looks really nice but glitches out 20% of the time. Maybe you want to move away from using excel to pull your reports from your database and want a bespoke workflow. Regardless of what your needs are I would be happy to meet with you for a consultation to speak about what I can do to ease your business needs.

*IT skills, technologies* Focus: software engineering, optimization, languages Programming languages: - High intermediate knowledge: C++ and Python - Moderate/light experience: C, OCaml, Julia, Java, lisp, PHP, bash, Javascript *Teaching experience* Several regular courses on programming, formal languages, optimization, discrete event systems at several universities since 2005. *Research* - Active research on the scheduling of batch processes since 2005. - Several collaborative works in the field of sustainable energy planning and graph coloring.