Ankit-Jaiswal
Software Engineer with a research background in Mathematics and 6+ years of experience in logic-oriented computer programming.
AlstomBangalore, India
Pinned Repositories
101inFunctional
Learning materials for the very first course in programming in Functional Programming Style.
Ankit-Jaiswal.github.io
functional_bits
fydantic
Extending Pydantic data validation using Formal Methods
LogicAssgn
Assignments of some of my Logic Courses.
mit6.034assignments
Solutions to assignments of an MIT course 6.034
ParMizar
A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
ParTEX
A parser in Scala for LATEX documents (mathematics).
prog-fun
Learning scala
progBatch
Some typical batch scripts for windows
Ankit-Jaiswal's Repositories
Ankit-Jaiswal/ParTEX
A parser in Scala for LATEX documents (mathematics).
Ankit-Jaiswal/101inFunctional
Learning materials for the very first course in programming in Functional Programming Style.
Ankit-Jaiswal/Ankit-Jaiswal.github.io
Ankit-Jaiswal/functional_bits
Ankit-Jaiswal/fydantic
Extending Pydantic data validation using Formal Methods
Ankit-Jaiswal/LogicAssgn
Assignments of some of my Logic Courses.
Ankit-Jaiswal/mit6.034assignments
Solutions to assignments of an MIT course 6.034
Ankit-Jaiswal/ParMizar
A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2
Ankit-Jaiswal/prog-fun
Learning scala
Ankit-Jaiswal/progBatch
Some typical batch scripts for windows
Ankit-Jaiswal/progScala
Implementation of problems discussed in TrainLogic at IISc
Ankit-Jaiswal/progScalaJS
a bunch of scalaJS apps (examples)
Ankit-Jaiswal/pysetcomp
Set Comprehension Extension for z3 in Python (3.x migration in-progress)
Ankit-Jaiswal/Superficial
Curves and other structures on surfaces (topology)