User:Hakank: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 17:58, 18 November 2020

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

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

@@ Line 6: / Line 6: @@
 {{mylang|AWK}}
 {{mylang|BASIC}}
+{{mylang|B-Prolog}}
+{{mylang|BLOG}}
 {{mylang|C|}}
 {{mylang|C++|}}
@@ Line 20: / Line 22: @@
 {{mylang|J|}}
 {{mylang|JavaScript|}}
+{{mylang|Julia|}}
 {{mylang|K|}}
 {{mylang|Maple|}}
@@ Line 32: / Line 35: @@
 {{mylang|Perl|}}
 {{mylang|Perl 6|}}
+{{mylang|Picat|}}
 {{mylang|PL/SQL|}}
 {{mylang|Pop11|}}
 {{mylang|Prolog|}}
+{{mylang|PSI|}}
 {{mylang|Python|}}
 {{mylang|Q|}}
@@ Line 47: / Line 52: @@
 {{mylang|SNOBOL4|}}
 {{mylang|SQL|}}
+{{mylang|Unicon|}}
+{{mylang|WebPPL|}}
+{{mylang|Z3|}}
 {{mylangend}}
-'''Hakan Kjellerstrand''', Swedish software developer.
+'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.
-'''Interests''': programming languages, (math) puzzles, constraint programming
+'''Interests''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
-'''Personal site''': [http://hakank.org/index_eng.html www.hakank.org]
+'''Personal site''': [http://hakank.org/ www.hakank.org]
@@ Line 69: / Line 77: @@
 * [http://www.hakank.org/frink/ Frink]
 * [http://www.hakank.org/j/ J]
+* [http://www.hakank.org/javascript_prog/ JavaScript]
+* [http://www.hakank.org/julia/ Julia]
 * [http://www.hakank.org/mathematica/ Mathematica]
 '''My Constraint Programming (and related paradigms) pages'''
@@ Line 91: / Line 102: @@
 * [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
 * [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP)
-* [http://www.hakank.org/answer_set_programming/ Answer Set Programming] (this is a related paradigm)
+* [http://www.hakank.org/z3/ Z3] (Microsofts high-performance theorem prover/constraint solver)
+* [http://www.hakank.org/picat/ Picat] (CP, SAT, Logic-based, Imperative, Functional, Constraints)
+* [http://www.hakank.org/swi_prolog/ SWI-Prolog] (Prolog, CP, Logic-based)
+* [http://www.hakank.org/answer_set_programming/ Answer Set Programming (ASP)] (this is a related paradigm)
 [http://www.hakank.org/common_cp_models/ 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'''
+* [http://www.hakank.org/blog_ppl/ BLOG]
+* [http://www.hakank.org/psi_ppl/ PSI]
+* [http://www.hakank.org/webppl/ WebPPL]
+'''My blogs (not very active anymore)'''
 * [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about Constraint Programming and related paradigms
 * [http://hakank.org/arrays_in_flux/ Arrays in Flux], anything but Constraint Programming
-* [http://www.hakank.org/webblogg/ hakank.blogg], Swedish (not very active anymore)
+* [http://hakank.org/webblogg/ hakank.blogg], General blog (mostly tech, math, programming, etc) Swedish