Hakank

Joined 31 August 2022
Added Julia, JavaScript and PPLs
(Added Common CP problems)
(Added Julia, JavaScript and PPLs)
 
(16 intermediate revisions by 2 users not shown)
Line 6:
{{mylang|AWK}}
{{mylang|BASIC}}
{{mylang|B-Prolog}}
{{mylang|BLOG}}
{{mylang|C|}}
{{mylang|C++|}}
Line 13 ⟶ 15:
{{mylang|Eiffel|}}
{{mylang|Emacs Lisp|}}
{{mylang|Frink|}}
{{mylang|Icon|}}
{{mylang|GAP|}}
Line 19 ⟶ 22:
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|Maple|}}
Line 31 ⟶ 35:
{{mylang|Perl|}}
{{mylang|Perl 6|}}
{{mylang|Picat|}}
{{mylang|PL/SQL|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Q|}}
Line 41 ⟶ 47:
{{mylang|Ruby|}}
{{mylang|Sage|}}
{{mylang|Scala|}}
{{mylang|Scheme|}}
{{mylang|SETL|}}
{{mylang|SNOBOL4|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
 
<b>'''Hakan Kjellerstrand</b>''', Swedish software developer (retired), Independent researcher.
 
<br>
<b>'''Interests</b>''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
 
<br><br>
 
<b>'''Personal site</b>''': [http://hakank.org/index_eng.html www.hakank.org])
<br><br>
 
<b>My language pages</b>
 
<ul>
<b>'''My language pages</b>'''
<li> [http://www.hakank.org/k/ K/Kona]
<li>* [http://www.hakank.org/uniconk/ IconK/UniconKona]
<li>* [http://www.hakank.org/perl6unicon/ Perl6Icon/Unicon]
<li>* [http://www.hakank.org/setlperl6/ SETLPerl6]
<li>* [http://www.hakank.org/poplogsetl/ Pop-11/PoplogSETL]
* [http://www.hakank.org/setl/#setlx SetlX]
</ul>
* [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]
<li>* [http://www.hakank.org/kj/ K/KonaJ]
<li>* [http://www.hakank.org/sicstusjavascript_prog/ SICStus PrologJavaScript]
<li>* [http://www.hakank.org/JaCoPjulia/ JaCoPJulia] (Java)
<li>* [http://www.hakank.org/gecodemathematica/ GecodeMathematica] (C++)
 
 
<b>'''My Constraint Programming /(and related paradigms</b>) pages'''
<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, C#)
<li>* [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)
<li>* [http://www.hakank.org/eclipse/ ECLiPSe CLP System] (Prolog)
<li>* [http://www.hakank.org/gecode_rsicstus/ SICStus Gecode/RProlog] (Ruby)
<li>* [http://www.hakank.org/chocogecode/ ChocoGecode] (JavaC++)
<li>* [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)
<li>* [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)
<li>* [http://www.hakank.org/answer_set_programming/ Answer Set Programming (ASP)] (this is a related paradigm)
 
<b>Constraint Programming / related paradigms</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>
 
[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
 
<br><br>
<b>Blogs</b>
<ul>
<li> [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about constraint programming and related paradigms
<li> [http://hakank.org/arrays_in_flux/ Arrays in Flux], anything but constraint programming
<li> [http://www.hakank.org/webblogg/ hakank.blogg], Swedish (not very active anymore)
</ul>
 
'''Probabilistic programming languages'''
<br><br>
* [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)'''
<li>* [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about constraintConstraint programmingProgramming and related paradigms
<li>* [http://hakank.org/arrays_in_flux/ Arrays in Flux], anything but constraintConstraint programmingProgramming
<li>* [http://www.hakank.org/webblogg/ hakank.blogg], SwedishGeneral blog (notmostly verytech, activemath, anymoreprogramming, etc) Swedish
495

edits