ankitku/SeqSolve ankitku/SeqSolve

  • Stars
    star
    1
  • Language SMT
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ankitku/SeqSolve
github

ankitku

Reviews

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

Repository Details

SeqSolve is procedure for the satisfiability of string equations with length constraints. It is based on a non-deterministic transition system TranSeq which is part of the Mathematical Programming Modulo Theories framework.

More Repositories

1

TAL0

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
Coq
20
star
2

GPUonAndroid

Testing running times of complex calculations on GPU vs CPU. The app runs the gpu kernel code written in c++ using jni interface on my Xperia Z1, which has adreno320 gpu. NDK required to build the project.
C++
3
star
3

A2C

Tools to automate grading of automata.
Common Lisp
2
star
4

deep

A deepawali fireworks RIA app capable of running on javafx enabled mobile devices and browsers. This was my first and last work in javaFX.
1
star
5

spotter

android app to recognize faces in mobile galery pics
Java
1
star
6

spoj

solutions to spoj problems
C
1
star
7

plAIR

A media (.flv & .mp3) player, made in Adobe Flex. The code is not elegant, neither follows any design principle. But it looks good, as all Flex apps do. Build in Eclipse(with Flex plugin), and deploy. Remember to install AIR first.
1
star
8

barebones

a barebones os in c,asm to start building an os, for learning
C
1
star
9

c_ds_random

random material,code
C++
1
star
10

ankitku.github.io

my web log
HTML
1
star