aerabi/lambek aerabi/lambek

  • Stars
    star
    1
  • Language
    TeX
  • License
    MIT License
  • Created almost 10 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aerabi/lambek
github

aerabi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Study of Pregroup Grammar and its Application to Machine Translation

More Repositories

1

hacktoberfest-cv

Living CV built with LaTeX, GitHub Actions, and Overleaf
TeX
9
star
2

link-shortener-js

Link Shortener with Nest.js, Redis, Docker Compose, and Helm
TypeScript
8
star
3

markdown-cheatsheet

GitHub Flavored Markdown Cheatsheet
7
star
4

link-shortener

Python
5
star
5

express-ts-swagger-docker

Express.js Backend with TypeScript, Swagger UI, and Docker Compose
TypeScript
5
star
6

events

A MEAN app that store events happening around
TypeScript
3
star
7

hackdockerfest

Docker best practices created by the community
Dockerfile
3
star
8

aerabi.github.io

GitHub-hosted homepage
HTML
3
star
9

rxjs-pipe-ext

RxJS pipe extensions
TypeScript
3
star
10

git-weekly-docker-extension

A Docker extension that lists all the Git Weekly issues
Dockerfile
3
star
11

lttt-report

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
TeX
2
star
12

talks

List of my talks
2
star
13

docker-2022

2
star
14

dockerized-twitter-clone

Dockerfile
2
star
15

nodejs-api-starter

Node.js API Starter
TypeScript
2
star
16

aerabi

1
star
17

github-stats

A repo to generate Github user stats
Python
1
star
18

beamer-uni-freiburg

Albert-Ludwigs-Universität Freiburg Beamer Theme
TeX
1
star
19

survey

A Node.js API for creating yes/no surveys
TypeScript
1
star
20

couscous

British-English-compatible CSS transpiler
1
star
21

100-days-of-git

1
star
22

exercism

My solutions to the Exercism exercises
Go
1
star
23

link-shortener-mean

MEAN Stack Link Shortener
1
star
24

link-shortener-java

Java
1
star
25

git-weekly

List of Git Weekly posts
1
star
26

lttt-typescript

Implementation of linear types and futures based on Linear Temporal Type Theory
TypeScript
1
star
27

npm-utils

1
star
28

wordworks

Ontology Translation, Visualization, etc.
Java
1
star
29

aerabi-angular

Aerabi.com Angular Website
TypeScript
1
star
30

aerabi-k8s

TypeScript
1
star
31

uhlmann

Web Project for Uhlmann Solarelectronic GmbH
Python
1
star
32

lttt

"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
Coq
1
star
33

30langs

30 Days of Programming Languages
Haskell
1
star
34

skala

Simple Extensions for Scala
Scala
1
star
35

docker-desktop-extension-zero

Dockerfile
1
star
36

timeline-cv

Timeline CV
TeX
1
star