User:Hakank: Difference between revisions

From Rosetta Code
Content added Content deleted
(Added Common CP problems)
(Added Julia, JavaScript and PPLs)
 
(16 intermediate revisions by 2 users not shown)
Line 6: Line 6:
{{mylang|AWK}}
{{mylang|AWK}}
{{mylang|BASIC}}
{{mylang|BASIC}}
{{mylang|B-Prolog}}
{{mylang|BLOG}}
{{mylang|C|}}
{{mylang|C|}}
{{mylang|C++|}}
{{mylang|C++|}}
Line 13: Line 15:
{{mylang|Eiffel|}}
{{mylang|Eiffel|}}
{{mylang|Emacs Lisp|}}
{{mylang|Emacs Lisp|}}
{{mylang|Frink|}}
{{mylang|Icon|}}
{{mylang|Icon|}}
{{mylang|GAP|}}
{{mylang|GAP|}}
Line 19: Line 22:
{{mylang|J|}}
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|K|}}
{{mylang|Maple|}}
{{mylang|Maple|}}
Line 31: Line 35:
{{mylang|Perl|}}
{{mylang|Perl|}}
{{mylang|Perl 6|}}
{{mylang|Perl 6|}}
{{mylang|Picat|}}
{{mylang|PL/SQL|}}
{{mylang|PL/SQL|}}
{{mylang|Pop11|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Python|}}
{{mylang|Q|}}
{{mylang|Q|}}
Line 41: Line 47:
{{mylang|Ruby|}}
{{mylang|Ruby|}}
{{mylang|Sage|}}
{{mylang|Sage|}}
{{mylang|Scala|}}
{{mylang|Scheme|}}
{{mylang|Scheme|}}
{{mylang|SETL|}}
{{mylang|SETL|}}
{{mylang|SNOBOL4|}}
{{mylang|SNOBOL4|}}
{{mylang|SQL|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
{{mylangend}}


<b>Hakan Kjellerstrand</b>, Swedish software developer.
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.

<br>
<b>Interests</b>: programming languages, (math) puzzles, constraint programming
'''Interests''': 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])
'''Personal site''': [http://hakank.org/ www.hakank.org]
<br><br>

⚫
<b>My language pages</b>

<ul>
⚫
'''My language pages'''
⚫
<li> [http://www.hakank.org/k/ K/Kona]
<li> [http://www.hakank.org/unicon/ Icon/Unicon]
* [http://www.hakank.org/k/ K/Kona]
<li> [http://www.hakank.org/perl6/ Perl6]
* [http://www.hakank.org/unicon/ Icon/Unicon]
<li> [http://www.hakank.org/setl/ SETL]
* [http://www.hakank.org/perl6/ Perl6]
<li> [http://www.hakank.org/poplog/ Pop-11/Poplog]
* [http://www.hakank.org/setl/ SETL]
* [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]
⚫
* [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)


⚫
<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
[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)'''
⚫
* [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

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


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)

Retrieved from "https://rosettacode.org/wiki/User:Hakank?oldid=182994"