Hakank

Joined 31 August 2022
Added Julia, JavaScript and PPLs
No edit summary
(Added Julia, JavaScript and PPLs)
 
(10 intermediate revisions by the same user 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 46 ⟶ 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 61 ⟶ 70:
* [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'''
Line 74 ⟶ 92:
* [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/answer_set_programmingaimms/ Answer Set ProgrammingAIMMS+CP] (this is aAIMMS relatedwith paradigmCP)
* [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'''
'''My blogs'''
* [http://www.hakank.org/blog_ppl/ BLOG]
* [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about constraint programming and related paradigms
* [http://www.hakank.org/arrays_in_fluxpsi_ppl/ Arrays in FluxPSI], anything but constraint programming
* [http://www.hakank.org/webbloggwebppl/ hakank.bloggWebPPL], Swedish (not very active anymore)
 
 
'''My blogs (not very active anymore)'''
* [http://hakank.org/constraint_programming_blog/ My Constraint Programming Blog], about constraintConstraint programmingProgramming 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