Hakank

Joined 31 August 2022
Added Julia, JavaScript and PPLs
(First version)
 
(Added Julia, JavaScript and PPLs)
 
(19 intermediate revisions by 2 users not shown)
Line 1:
{{mylangbegin}}
<b>Hakan Kjellerstrand</b>, Swedish software developer.
{{mylang|ABC}}
<br>
{{mylang|AMPL}}
<b>Interests</b>: programming languages, (math) puzzles, constraint programming
{{mylang|Answer Set Programming}}
<br><br>
{{mylang|APL}}
<b>Personal site</b>: [http://hakank.org/index_eng.html www.hakank.org])
{{mylang|AWK}}
<br><br>
{{mylang|BASIC}}
<b>My language pages</b>
{{mylang|B-Prolog}}
<ul>
{{mylang|BLOG}}
<li> [http://www.hakank.org/k/ K/Kona]
{{mylang|C|}}
<li> [http://www.hakank.org/unicon/ Icon/Unicon]
{{mylang|C++|}}
<li> [http://www.hakank.org/perl6/ Perl6]
{{mylang|C sharp|}}
<li> [http://www.hakank.org/setl/ SETL]
{{mylang|Common Lisp|}}
<li> [http://www.hakank.org/poplog/ Pop-11/Poplog]
{{mylang|Commodore BASIC|}}
</ul>
{{mylang|Eiffel|}}
{{mylang|Emacs Lisp|}}
{{mylang|Frink|}}
{{mylang|Icon|}}
{{mylang|GAP|}}
{{mylang|Groovy|}}
{{mylang|Haskell|}}
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|Maple|}}
{{mylang|Mathematica|}}
{{mylang|MiniZinc|}}
{{mylang|Modula-3|}}
{{mylang|NetLogo|}}
{{mylang|OCaml|}}
{{mylang|Oz|}}
{{mylang|Pascal|}}
{{mylang|PHP|}}
{{mylang|Perl|}}
{{mylang|Perl 6|}}
{{mylang|Picat|}}
{{mylang|PL/SQL|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Q|}}
{{mylang|R|}}
{{mylang|REBOL|}}
{{mylang|REXX|}}
{{mylang|Ruby|}}
{{mylang|Sage|}}
{{mylang|Scala|}}
{{mylang|Scheme|}}
{{mylang|SETL|}}
{{mylang|SNOBOL4|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
 
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.
<b>Constraint Programming / etc related</b>
<ul>
<li> [http://www.hakank.org/minizinc/ G12 MiniZinc] (very high level CP language)
<li> [http://www.hakank.org/google_or_tools/ Google or-tools] (Python, Java)
<li> [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)
<li> [http://www.hakank.org/eclipse/ ECLiPSe] (Prolog)
<li> [http://www.hakank.org/sicstus/ SICStus Prolog]
<li> [http://www.hakank.org/gecode/ Gecode] (C++)
<li> [http://www.hakank.org/comet Comet] (C++ like language)
<li> [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby)
<li> [http://www.hakank.org/choco Choco] (Java)
<li> [http://www.hakank.org/JaCoP/ JaCoP] (Java)
<li> [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language)
<li> [http://hakank.org/answer_set_programming/ Answer Set Programming]
</ul>
 
'''Interests''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
<b>Blogs</b>
 
<ul>
 
<li> [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about constraint programming and related paradigms
<li>'''Personal site''': [http://hakank.org/arrays_in_flux/ Arrays in Fluxwww.hakank.org], anything but constraint programming
 
<li> [http://www.hakank.org/webblogg/ hakank.blogg], Swedish (not very active anymore)
 
</ul>
'''My language pages'''
* [http://www.hakank.org/k/ K/Kona]
* [http://www.hakank.org/unicon/ Icon/Unicon]
* [http://www.hakank.org/perl6/ Perl6]
* [http://www.hakank.org/setl/ SETL]
* [http://www.hakank.org/setl/#setlx SetlX]
* [http://www.hakank.org/poplog/ Pop-11/Poplog]
* [http://www.hakank.org/apl/ APL]
* [http://www.hakank.org/sabr/ SABR]
* [http://www.hakank.org/pddl/ PDDL]
* [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'''
* [http://www.hakank.org/minizinc/ G12 MiniZinc] (very high level CP language)
* [http://www.hakank.org/google_or_tools/ Google or-tools] (Python, Java, C#)
* [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)
* [http://www.hakank.org/eclipse/ ECLiPSe CLP System] (Prolog)
* [http://www.hakank.org/sicstus/ SICStus Prolog]
* [http://www.hakank.org/gecode/ Gecode] (C++)
* [http://www.hakank.org/comet Comet] (C++ like language)
* [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby interface to Gecode)
* [http://www.hakank.org/choco Choco] (Java)
* [http://www.hakank.org/choco3 Choco3] (Java, not compatible with Choco version 2)
* [http://www.hakank.org/JaCoP/ JaCoP] (Java)
* [http://www.hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala)
* [http://www.hakank.org/oscar/ OscaR] (Scala)
* [http://www.hakank.org/jsr_331/ JSR-331] (Java Constraint Programming API, JSR-331)
* [http://www.hakank.org/numberjack/ Numberjack] (Python)
* [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language)
* [http://www.hakank.org/aimms/ AIMMS+CP] (AIMMS with CP)
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP)
* [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'''
* [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://hakank.org/webblogg/ hakank.blogg], General blog (mostly tech, math, programming, etc) Swedish
495

edits