Hakank

Joined 31 August 2022
Added Julia, JavaScript and PPLs
(Added Choco3 (not compatible with Choco version 2))
(Added Julia, JavaScript and PPLs)
 
(3 intermediate revisions by the same user not shown)
Line 6:
{{mylang|AWK}}
{{mylang|BASIC}}
{{mylang|B-Prolog}}
{{mylang|BLOG}}
{{mylang|C|}}
{{mylang|C++|}}
Line 20 ⟶ 22:
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|Maple|}}
Line 32 ⟶ 35:
{{mylang|Perl|}}
{{mylang|Perl 6|}}
{{mylang|Picat|}}
{{mylang|PL/SQL|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Q|}}
Line 47 ⟶ 52:
{{mylang|SNOBOL4|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
 
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.
 
'''Interests''': programming languages, (math) puzzles, constraint programming, logic programming, probabilistic programming, AI
 
 
'''Personal site''': [http://hakank.org/index_eng.html www.hakank.org]
 
 
Line 69 ⟶ 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 89 ⟶ 101:
* [http://www.hakank.org/aimms/ AIMMS+CP] (AIMMS with CP)
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [http://www.hakank.org/answer_set_programmingampl/ Answer Set ProgrammingAMPL] (this is a related paradigmCP/LP/MIP)
* [http://www.hakank.org/amplz3/ AMPLZ3] (relatedMicrosofts paradigm:high-performance LPtheorem prover/MIPconstraint 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], SwedishGeneral blog (notmostly verytech, activemath, anymoreprogramming, etc) Swedish
495

edits