Discover @ahmadsalim Open Source projects

Ahmad Salim Al-Sibahi (@ahmadsalim)

ahmadsalim

Stars
57
Global Rank 311,131 (Top 11 %)
Followers 87
Following 50
Registered over 12 years ago
Most used languages

Agda 18.8 %

Haskell
18.8 %

Python
12.5 %

TeX
12.5 %

F#
12.5 %

Scala
6.3 %

Jupyter Notebook
6.3 %

C++
6.3 %

Idris 6.3 %
Location 🇩🇰 Denmark
Country Total Rank 1,251
Country Ranking

Idris 2

Agda 4

F#
19

Haskell
54

Scala
71

TeX
86

Jupyter Notebook
287

C++
322

Python
758

well-typed-agda-interpreter

A well typed interpreter for the simply-typed lambda calculus written in Agda

desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

numpyro_stein

qsort-inline

Apple's qsort implementation with support for inlined comparison (by macros)

fflat-mdsliterals

Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)

2019-meetup-pyro-intro

Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019

Jupyter Notebook

fflat

The Fb programming language

agda-moddom

Modular Domains in Agda

MSc-Thesis

MSc Thesis on practical levitation

jax-dy

micro-dsl-properties

Micro DSLs and properties

haskell-transformations

Tools-and-tactics-for-Idris---report

Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction

agda-tron

An Agda implementation of TRON semantics

parseltongue

A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)

Rascal-Light

Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light