User:Hakank: Difference between revisions

Content added Content deleted
(Added Unicon)
(Added Julia, JavaScript and PPLs)
 
Line 7: Line 7:
{{mylang|BASIC}}
{{mylang|BASIC}}
{{mylang|B-Prolog}}
{{mylang|B-Prolog}}
{{mylang|BLOG}}
{{mylang|C|}}
{{mylang|C|}}
{{mylang|C++|}}
{{mylang|C++|}}
Line 21: Line 22:
{{mylang|J|}}
{{mylang|J|}}
{{mylang|JavaScript|}}
{{mylang|JavaScript|}}
{{mylang|Julia|}}
{{mylang|K|}}
{{mylang|K|}}
{{mylang|Maple|}}
{{mylang|Maple|}}
Line 37: Line 39:
{{mylang|Pop11|}}
{{mylang|Pop11|}}
{{mylang|Prolog|}}
{{mylang|Prolog|}}
{{mylang|PSI|}}
{{mylang|Python|}}
{{mylang|Python|}}
{{mylang|Q|}}
{{mylang|Q|}}
Line 50: Line 53:
{{mylang|SQL|}}
{{mylang|SQL|}}
{{mylang|Unicon|}}
{{mylang|Unicon|}}
{{mylang|WebPPL|}}
{{mylang|Z3|}}
{{mylangend}}
{{mylangend}}


'''Hakan Kjellerstrand''', Swedish software developer.
'''Hakan Kjellerstrand''', Swedish software developer (retired), Independent researcher.


'''Interests''': programming languages, (math) puzzles, constraint programming, logic 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 72: Line 77:
* [http://www.hakank.org/frink/ Frink]
* [http://www.hakank.org/frink/ Frink]
* [http://www.hakank.org/j/ J]
* [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]
* [http://www.hakank.org/mathematica/ Mathematica]



'''My Constraint Programming (and related paradigms) pages'''
'''My Constraint Programming (and related paradigms) pages'''
Line 94: Line 102:
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP)
* [http://www.hakank.org/ampl/ AMPL] (CP/LP/MIP)
* [http://www.hakank.org/picat/ Picat] (CP, Logic-based, Imperative, Functional, Constraints)
* [http://www.hakank.org/z3/ Z3] (Microsofts high-performance theorem prover/constraint solver)
* [http://www.hakank.org/answer_set_programming/ Answer Set Programming] (this is a related paradigm)
* [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
[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/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/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
Retrieved from "https://rosettacode.org/wiki/User:Hakank"