ismail-s

Pinned Repositories

ace
Ace (Ajax.org Cloud9 Editor)
Language:JavaScript0 2 00
android-oss
Kickstarter for Android. Bring new ideas to life, anywhere.
Language:Java0 2 00
anko
Pleasant Android application development
Language:Kotlin0 2 00
aoc2020
Advent of Code solutions for 2020 https://adventofcode.com/2020
Language:Emacs Lisp0 2 00
aoc2021
My Advent of Code 2021 solutions
Language:Clojure0 2 00
aoc2022
Advent of Code solutions 2022
Language:Rust0 1 00
aoc2023
Advent of Code solutions for 2023 problems
Language:Rust0 1 00
ishyChat
Very simple chat client/server implementation written in Python.
Language:Python10
JTime
Project has moved to https://www.gitlab.com/ismail-s/jtime
Language:JavaScript5 6 1450

ismail-s's Repositories

ismail-s/JTime
Project has moved to https://www.gitlab.com/ismail-s/jtime
Language:JavaScript5 6 1450
ismail-s/android-oss
Kickstarter for Android. Bring new ideas to life, anywhere.
Language:Java0 2 00
ismail-s/aoc2020
Advent of Code solutions for 2020 https://adventofcode.com/2020
Language:Emacs Lisp0 2 00
ismail-s/aoc2021
My Advent of Code 2021 solutions
Language:Clojure0 2 00
ismail-s/aoc2022
Advent of Code solutions 2022
Language:Rust0 1 00
ismail-s/aoc2023
Advent of Code solutions for 2023 problems
Language:Rust0 1 00
ismail-s/aoc2024
Language:Rust
ismail-s/circleci-docs
Documentation for CircleCI.
Language:CSS2 0
ismail-s/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml2 01
ismail-s/cpython
The Python programming language
Language:Python1 0
ismail-s/docs
API Documentation for Handsontable
2 0
ismail-s/fireblog
A basic blog (in Python)
Language:Python2 47
ismail-s/gatling
Modern Load Testing as Code
Language:Scala0 0
ismail-s/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
Language:Haskell2 0
ismail-s/hfsnotify
Unified Haskell interface for basic file system notifications
Language:Haskell2 0
ismail-s/jackson-databind
General data-binding package for Jackson (2.x): works on streaming API (core) implementation(s)
Language:Java2 0
ismail-s/karate
Test Automation Made Simple
Language:Java1 0
ismail-s/keter
Web app deployment manager
Language:Haskell2 0
ismail-s/KISS
Lightning fast Android launcher
Language:Java2 0
ismail-s/magicbane
A web framework that integrates Servant, ClassyPrelude, EKG, fast-logger, wai-cli…
Language:Haskell2 0
ismail-s/Matasano-Crypto-Solutions
My attempt at tackling http://cryptopals.com
Language:Python2 1
ismail-s/peps
Python Enhancement Proposals
Language:Python2 0
ismail-s/persistent
Persistence interface for Haskell allowing multiple storage methods.
Language:Haskell2 0
ismail-s/pytest
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
Language:Python2 0
ismail-s/quran_android
a quran reading application for android
Language:Java1 0
ismail-s/raml-tester
Test if a request/response matches a given raml definition
Language:Java2 0
ismail-s/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
Language:Haskell2 0
ismail-s/servant-pandoc
Render a servant API to Pandoc's native representation
Language:Haskell2 0
ismail-s/temporary-file-dump
2 0
ismail-s/typeshed
Collection of library stubs for Python, with static types