Projects in Awesome Lists by SatyendraBanjare
A curated list of projects in awesome lists by SatyendraBanjare .
https://github.com/satyendrabanjare/plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq entrepreneurship formal-methods formal-verification ideas ideasworthsharing programming-language-theory quantum-programming-language research-data research-paper research-software-engineering sat-solver smt-solver software-verification startup z3
Last synced: 10 Feb 2025
https://github.com/satyendrabanjare/video-stitch
Simple example of video stitching using opencv sticher module
Last synced: 14 Apr 2025
https://github.com/satyendrabanjare/luagit2
Updated Lua bindings to libgit2
libgit2 lua lua-bindings lua-library luac-api
Last synced: 14 Apr 2025
https://github.com/satyendrabanjare/project-homeautomation
Hobby home automation project build using Django,Raspberry Pi,Xbees
android django-heroku django-rest-framework home-automation raspberry-pi xbee-devices
Last synced: 14 Apr 2025
https://github.com/satyendrabanjare/mit-abstract-interpretation-16.399
Exploring Patrick Cousot's Abstract Interpretation Course.
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/fishy_balls
an android game built with corona framework
android-game corona-sdk lua lua-android-ios lua-game
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/c-llvm-compiler
An Hobby project learning to use LLVM.
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/pattern-synthesis
Pattern Synthesis on 3D voxelized surface
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/satyendrabanjare.github.io
My Jekyll based Blog
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/zingo-mall-bot
Simple Mall Assistant chat bot Zingo created with Azure services and LUIS.
ai chat-bot cognitive-services facebook-integration microsoft-azure microsoft-chatbot microsoft-luis
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/satisfy
A simple SAT solver in python based on DPLL alrorithm. https://en.wikipedia.org/wiki/DPLL_algorithm
dpll-algorithm python-3 sat-solver
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/startapp
Example code for intergrating WYSIWYG with django
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/taskapi
simplest django API made using rest framework
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/myshell
simple unix Shell written in C
c jobcontrol myshell shell unix
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/ocaml-fun
Trying to get my Hands on Ocaml
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/itp
Exploring Adam Chlipala's Interactive Computer Theory Proving.
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/fstar-crypto
Formal verification of basic cryptography using Fstar
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/chat-app
Terminal chat application written purely in haskell
concurrent-programming haskell-server stm
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/formalized-data-structures
Coq Formalization of Data Structures
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/django-mart
A Basic Shopping website made in Django
Last synced: 20 Feb 2025
https://github.com/satyendrabanjare/atp-proofs
Collection of explainatory example proofs for popular proof assistants.
coq homotopy-type-theory isabelle-hol proof-assistant proof-of-concept type-theory typesystems
Last synced: 20 Feb 2025