Moti Ben-Ari (@motib)
github

motib

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    105
  • Global Rank 200,739 (Top 7 %)
  • Followers 44
  • Registered about 12 years ago
  • Most used languages
    TeX
         47.1 %
    Ada
         17.6 %
    Java
         11.8 %
    Prolog
         11.8 %
    Batchfile     5.9 %
    Promela     5.9 %

Top repositories

1

LearnSAT

SAT solver for education
Prolog
25
star
2

jspin

GUI for running the SPIN model checker
Java
13
star
3

jbaci

Automatically exported from code.google.com/p/jbaci
Batchfile
10
star
4

mathematical-logic

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
Prolog
9
star
5

erigone

Erigone Model Checker
Ada
8
star
6

gentle-lean

A gentle tutorial on Lean
TeX
8
star
7

surprises

Source code of Mathematical Surprises (open access)
TeX
7
star
8

mathematics

Learning materials for secondary school mathematics
TeX
5
star
9

concurrent-distributed

Principle of Concurrent and Distributed Programming (Second Edition)
Ada
4
star
10

daj

Distributed Algorithms in Java
Java
4
star
11

ada-software-engineers

Ada for Software Engineers (Second Edition)
Ada
3
star
12

probability-mosteller

Reworking of Mosteller's Challenging Problems in Probability
TeX
2
star
13

constructions

LaTeX source for "Surprising Geometric Constructions"
TeX
1
star
14

bagrut

Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics
TeX
1
star
15

elements-of-robotics

LaTeX source of open access book Elements of Robotics
TeX
1
star
16

thymio

Documents and programs for the Thymio robot
TeX
1
star
17

principles-spin

Source code and update for Principles of Spin
Promela
1
star