Ahmad Salim Al-Sibahi (@ahmadsalim)
github

ahmadsalim

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

well-typed-agda-interpreter

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

desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
Idris
11
star
3

numpyro_stein

Python
6
star
4

qsort-inline

Apple's qsort implementation with support for inlined comparison (by macros)
C++
4
star
5

fflat-mdsliterals

Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)
F#
4
star
6

2019-meetup-pyro-intro

Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019
Jupyter Notebook
3
star
7

fflat

The Fb programming language
F#
2
star
8

agda-moddom

Modular Domains in Agda
Agda
2
star
9

MSc-Thesis

MSc Thesis on practical levitation
TeX
2
star
10

jax-dy

Python
1
star
11

micro-dsl-properties

Micro DSLs and properties
Haskell
1
star
12

haskell-transformations

Haskell
1
star
13

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
TeX
1
star
14

agda-tron

An Agda implementation of TRON semantics
Agda
1
star
15

parseltongue

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

Rascal-Light

Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light
Scala
1
star