User:Hakank
My Favorite Languages | |
Language | Proficiency |
ABC | --- |
AMPL | --- |
Answer Set Programming | --- |
APL | --- |
AWK | --- |
BASIC | --- |
B-Prolog | --- |
BLOG | --- |
C | --- |
C++ | --- |
C sharp | --- |
Common Lisp | --- |
Commodore BASIC | --- |
Eiffel | --- |
Emacs Lisp | --- |
Frink | --- |
Icon | --- |
GAP | --- |
Groovy | --- |
Haskell | --- |
J | --- |
JavaScript | --- |
Julia | --- |
K | --- |
Maple | --- |
Mathematica | --- |
MiniZinc | --- |
Modula-3 | --- |
NetLogo | --- |
OCaml | --- |
Oz | --- |
Pascal | --- |
PHP | --- |
Perl | --- |
Perl 6 | --- |
Picat | --- |
PL/SQL | --- |
Pop11 | --- |
Prolog | --- |
PSI | --- |
Python | --- |
Q | --- |
R | --- |
REBOL | --- |
REXX | --- |
Ruby | --- |
Sage | --- |
Scala | --- |
Scheme | --- |
SETL | --- |
SNOBOL4 | --- |
SQL | --- |
Unicon | --- |
WebPPL | --- |
Z3 | --- |
Hakan Kjellerstrand, Swedish software developer (retired), Independent researcher.
Interests: programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
Personal site: www.hakank.org
My language pages
- K/Kona
- Icon/Unicon
- Perl6
- SETL
- SetlX
- Pop-11/Poplog
- APL
- SABR
- PDDL
- Frink
- J
- JavaScript
- Julia
- Mathematica
My Constraint Programming (and related paradigms) pages
- G12 MiniZinc (very high level CP language)
- Google or-tools (Python, Java, C#)
- Tailor/Essence' (very high level CP language)
- ECLiPSe CLP System (Prolog)
- SICStus Prolog
- Gecode (C++)
- Comet (C++ like language)
- Gecode/R (Ruby interface to Gecode)
- Choco (Java)
- Choco3 (Java, not compatible with Choco version 2)
- JaCoP (Java)
- Scala in JaCoP (Java, Scala)
- OscaR (Scala)
- JSR-331 (Java Constraint Programming API, JSR-331)
- Numberjack (Python)
- G12 Zinc (very high level CP language)
- AIMMS+CP (AIMMS with CP)
- B-Prolog (Prolog)
- AMPL (CP/LP/MIP)
- Z3 (Microsofts high-performance theorem prover/constraint solver)
- Picat (CP, SAT, Logic-based, Imperative, Functional, Constraints)
- SWI-Prolog (Prolog, CP, Logic-based)
- Answer Set Programming (ASP) (this is a related paradigm)
Common constraint programming problems, lists problems (and links to models/programs) which are solved in at least two CP systems
Probabilistic programming languages
My blogs (not very active anymore)
- My Constraint Programming Blog, about Constraint Programming and related paradigms
- Arrays in Flux, anything but Constraint Programming
- hakank.blogg, General blog (mostly tech, math, programming, etc) Swedish
Categories:
- ABC User
- AMPL User
- Answer Set Programming User
- APL User
- AWK User
- BASIC User
- B-Prolog User
- BLOG User
- C User
- C++ User
- C sharp User
- Common Lisp User
- Commodore BASIC User
- Eiffel User
- Emacs Lisp User
- Frink User
- Icon User
- GAP User
- Groovy User
- Haskell User
- J User
- JavaScript User
- Julia User
- K User
- Maple User
- Mathematica User
- MiniZinc User
- Modula-3 User
- NetLogo User
- OCaml User
- Oz User
- Pascal User
- PHP User
- Perl User
- Perl 6 User
- Picat User
- PL/SQL User
- Pop11 User
- Prolog User
- PSI User
- Python User
- Q User
- R User
- REBOL User
- REXX User
- Ruby User
- Sage User
- Scala User
- Scheme User
- SETL User
- SNOBOL4 User
- SQL User
- Unicon User
- WebPPL User
- Z3 User