hessammehr

Logic.jl

A typed Prolog interpreter in Julia

molsketch-cljs

Drawing molecular structures in ClojureScript

vim-gaussian

Vim syntax highlighting for Gaussian input

CV

My curriculum vitae

hessammehr.github.io

Repository for my personal webpage

liquid_rules_ddlog

Abstraction for liquid handling in differential datalog

0101chem

0101chem.science website

chemsql

SQL for understanding chemical synthesis

Delphi

Take your Bayesian hypothesis to Delphi

differential-datalog

An in-memory incremental Datalog engine based on Differential Dataflow

ExpatBuilder

FontconfigBuilder

BinaryBuilder for Fontconfig

formulog

Datalog with support for SMT queries

FreeTypeBuilder

Shared library builder for FreeType2

GperfBuilder

JCHR

KU Leuven implementation of contraint handling rules (CHR) in Java

liquid_rules

A taste of ontology-powered robotics

microbit_alarm_clock

A micro:bit alarm clock

Nim

Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority).

numpyro

Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

problog-sketches

Sketches of Problog for Bayesian network inference

pymc3

Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano

react_rules_ddlog

Dependency-aware declarative reaction scheduling in differential datalog

recursiveMA

svd4zig

Convert System View Description (svd) files to Zig headers for baremetal development

Tensors.jl

Efficient computations with symmetric and non-symmetric tensors with support for automatic differentiation.

UtilLinuxBuilder

zig-bare-metal-microbit

Bare metal microbit program written in zig

zig_nucleo_blink

Just testing zig for STM32 ARM mcu

Zygote.jl

Intimate Affection Auditor