Pinned Loading

1. morshed-research/text2map morshed-research/text2map Public

   From Navigational Instructions to Graph-Based Indoor Map Representations Using LLMs

   Python 2 1

2. PyStar PyStar Public

   Py*: Formalization of Python's Verifiable Bytecode and Virtual Machine in F*

   OCaml 3

3. meta-logic/sml-to-coq meta-logic/sml-to-coq Public

   A tool that translates SML code to Coq

   Standard ML 6

4. deep-learning-template deep-learning-template Public

   This repo contains a template that can be used to build Deep learning projects.

   Python

5. movielator2 movielator2 Public

   A simple web scraping based movie searching tool implemented in NodeJs and reactjs.

   JavaScript 1

6. django_protfolio django_protfolio Public

   This is a portfolio built using Django. It's mainly used for me as away to learn Django concepts.

   JavaScript