Search results
Jump to navigation
Jump to search
- {{Use dmy dates|cs1-dates=ly|date=January 2023}} {{Use list-defined references|date=January 2023}} ...3 KB (385 words) - 05:11, 15 November 2023
- {{Infobox software | developer = Radical Eye Software ...2 KB (304 words) - 06:27, 8 June 2023
- {{Short description|Software for solving satisfiability problems}} {{Infobox software ...6 KB (818 words) - 02:32, 21 January 2025
- {{missing information|1=distortion, software support and the polynomial|date=February 2017}}[[File:Natural Earth project ...eractive Software for Designing World Map Projections |access-date=May 21, 2023 |last1=Jenny |first1=Bernhard |last2=Patterson |first2=Tom |last3=Hurni |fi ...6 KB (729 words) - 14:24, 4 October 2024
- ...World Tour Finals event.<ref>{{cite web |title=World Ranking System (11/11/2023 Version 3.1) |url=https://extranet.bwf.sport/docs/document-system/81/1466/1 ...Badminton World Federation |via=Tournament Software |access-date=20 August 2023}}</ref> ...14 KB (1,831 words) - 10:18, 16 December 2024
- ...e Rapids]] [[microarchitecture]] for [[Xeon]] servers, released in January 2023.<ref>{{Cite web|url=https://www.heise.de/news/Intel-AMX-Erste-Informationen ...|website=[[Phoronix Test Suite#Phoronix website|Phoronix]] |date=July 12, 2023}}</ref>). ...8 KB (1,154 words) - 01:14, 17 December 2024
- {{Infobox software | latest_release_date = June 2023 ...8 KB (1,064 words) - 22:33, 19 June 2024
- The software is downloadable from the website of the developers for [[Microsoft Windows] ...her-meets-hwbot/ HWBOT]. Also y-cruncher can be used for [[Stress testing (software)|stress-tests]], as performed computations are sensitive to [[Random-access ...10 KB (1,294 words) - 21:32, 2 February 2025
- ...ents |url=https://digitalcommons.andrews.edu/physics-pubs/51/ |access-date=2023-11-06 |website=Digital Commons @ Andrews University |language=en}}</ref> ...practices |url=https://searchworks.stanford.edu/view/13362764 |access-date=2023-11-06 |website=SearchWorks catalog at Stanford University |language=en}}</r ...8 KB (1,114 words) - 21:14, 4 February 2025
- | influenced_by = [[ML (programming language)|ML]]<br>[[Coq (software)|Coq]]<br>[[Haskell]] ...nk.springer.com/chapter/10.1007/978-3-030-79876-5_37 |access-date=24 March 2023}}</ref> Lean 4 also contains a macro system and improved [[type class]] syn ...15 KB (1,930 words) - 23:28, 25 February 2025
- {{use list-defined references|date=November 2023}} * {{cite book |title=Software Pioneers: Contributions to Software Engineering |editor-last1=Broy |editor-first1=Manfred |editor-link=Manfred ...3 KB (405 words) - 13:50, 1 November 2023
- ! [[Software license]] | [[The Apache Software Foundation|Apache Software Foundation]] ...30 KB (3,664 words) - 06:15, 21 February 2025
- {{Use mdy dates|date=December 2023}} ...com/riskwiki/PERTdistribution.php |title=PERT distribution |publisher=Vose Software |date=May 2, 2017 |access-date=July 16, 2017}}</ref><ref>Continuous Univari ...7 KB (1,009 words) - 07:31, 8 May 2024
- {{Cleanup press release|1=article|date=December 2023}} {{Infobox software ...12 KB (1,537 words) - 10:31, 10 January 2024
- * Engineering Software for [[Decentralised system|Decentralized Systems]] * [[Formal language|Formal Languages]], [[Compiler]] & Software Construction ...19 KB (2,486 words) - 06:26, 1 March 2025
- {{Infobox software | genre = [[Go software]] ...9 KB (1,285 words) - 04:05, 26 September 2024
- {{Infobox software | website = {{URL|https://gnu.org/software/archimedes/}} ...9 KB (1,331 words) - 20:36, 15 September 2024
- {{Unreferenced|date=January 2023}} ==Available software== ...6 KB (843 words) - 18:50, 27 January 2025
- {{Use dmy dates|date=September 2023}} ...4120b19ec2628e |website=www.uni-kassel.de|publisher=Uni-Kassel|access-date=2023-09-21}}</ref> ''L'' specifies the "maximum lag considered for the control o ...10 KB (1,395 words) - 14:41, 9 February 2025
- {{Primary sources|date=December 2023}} {{Unreliable sources|date=December 2023}} ...5 KB (681 words) - 13:48, 24 January 2024