mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Lang/ACL2
History
Ingy döt Net aac6731f2c September Morn Update 2019-09-12 10:33:56 -07:00
..
00DESCRIPTION September Morn Update 2019-09-12 10:33:56 -07:00
100-doors add tasks starting with a number 2013-04-10 14:23:37 -07:00
Apply-a-callback-to-an-array Add all the A tasks 2013-04-10 14:58:50 -07:00
Arbitrary-precision-integers--included- tasks a-s 2013-04-10 23:57:08 -07:00
Arithmetic-Integer ... 2013-04-10 15:42:53 -07:00
Array-concatenation Add all the A tasks 2013-04-10 14:58:50 -07:00
Arrays new files 2013-04-10 12:38:42 -07:00
Averages-Arithmetic-mean Add all the A tasks 2013-04-10 14:58:50 -07:00
Binary-digits tasks a-s 2013-04-10 23:57:08 -07:00
Binary-search new files 2013-04-10 12:38:42 -07:00
Bitwise-operations B 2013-04-10 16:19:29 -07:00
Character-codes CDE 2013-04-10 16:57:12 -07:00
Comments new files 2013-04-10 12:38:42 -07:00
Compound-data-type CDE 2013-04-10 16:57:12 -07:00
Conways-Game-of-Life CDE 2013-04-10 16:57:12 -07:00
Dot-product CDE 2013-04-10 16:57:12 -07:00
Empty-string CDE 2013-04-10 16:57:12 -07:00
Enforced-immutability CDE 2013-04-10 16:57:12 -07:00
Enumerations CDE 2013-04-10 16:57:12 -07:00
Ethiopian-multiplication CDE 2013-04-10 16:57:12 -07:00
Evaluate-binomial-coefficients CDE 2013-04-10 16:57:12 -07:00
Factors-of-an-integer A-M baby 2013-04-10 21:29:02 -07:00
Fibonacci-n-step-number-sequences A-M baby 2013-04-10 21:29:02 -07:00
Fibonacci-sequence A-M baby 2013-04-10 21:29:02 -07:00
File-input-output Update all new Tasks 2015-02-20 09:02:09 -05:00
Filter A-M baby 2013-04-10 21:29:02 -07:00
Find-limit-of-recursion A-M baby 2013-04-10 21:29:02 -07:00
FizzBuzz new files 2013-04-10 12:38:42 -07:00
Flatten-a-list A-M baby 2013-04-10 21:29:02 -07:00
Function-definition A-M baby 2013-04-10 21:29:02 -07:00
Function-frequency A-M baby 2013-04-10 21:29:02 -07:00
Generic-swap A-M baby 2013-04-10 21:29:02 -07:00
Greatest-common-divisor A-M baby 2013-04-10 21:29:02 -07:00
Greatest-element-of-a-list A-M baby 2013-04-10 21:29:02 -07:00
Hailstone-sequence A-M baby 2013-04-10 21:29:02 -07:00
Happy-numbers A-M baby 2013-04-10 21:29:02 -07:00
Hello-world-Newline-omission A-M baby 2013-04-10 21:29:02 -07:00
Hello-world-Text A-M baby 2013-04-10 21:29:02 -07:00
Horners-rule-for-polynomial-evaluation A-M baby 2013-04-10 21:29:02 -07:00
Include-a-file A-M baby 2013-04-10 21:29:02 -07:00
Knuth-shuffle new files 2013-04-10 12:38:42 -07:00
Letter-frequency A-M baby 2013-04-10 21:29:02 -07:00
Logical-operations A-M baby 2013-04-10 21:29:02 -07:00
Loop-over-multiple-arrays-simultaneously A-M baby 2013-04-10 21:29:02 -07:00
Loops-Foreach A-M baby 2013-04-10 21:29:02 -07:00
Loops-Infinite A-M baby 2013-04-10 21:29:02 -07:00
Loops-N-plus-one-half A-M baby 2013-04-10 21:29:02 -07:00
Luhn-test-of-credit-card-numbers A-M baby 2013-04-10 21:29:02 -07:00
Mandelbrot-set A-M baby 2013-04-10 21:29:02 -07:00
Map-range A-M baby 2013-04-10 21:29:02 -07:00
Matrix-transposition A-M baby 2013-04-10 21:29:02 -07:00
Mutual-recursion A-M baby 2013-04-10 21:29:02 -07:00
Non-decimal-radices-Convert tasks a-s 2013-04-10 23:57:08 -07:00
One-dimensional-cellular-automata tasks a-s 2013-04-10 23:57:08 -07:00
Palindrome-detection tasks a-s 2013-04-10 23:57:08 -07:00
Pangram-checker tasks a-s 2013-04-10 23:57:08 -07:00
Pick-random-element tasks a-s 2013-04-10 23:57:08 -07:00
Playing-cards tasks a-s 2013-04-10 23:57:08 -07:00
Primality-by-trial-division tasks a-s 2013-04-10 23:57:08 -07:00
Prime-decomposition tasks a-s 2013-04-10 23:57:08 -07:00
Queue-Definition tasks a-s 2013-04-10 23:57:08 -07:00
Quine new files 2013-04-10 12:38:42 -07:00
README Rename 00SOURCE to README to interact with github better 2013-04-11 13:32:18 -07:00
Real-constants-and-functions tasks a-s 2013-04-10 23:57:08 -07:00
Remove-duplicate-elements tasks a-s 2013-04-10 23:57:08 -07:00
Return-multiple-values tasks a-s 2013-04-10 23:57:08 -07:00
Reverse-a-string tasks a-s 2013-04-10 23:57:08 -07:00
Rot-13 tasks a-s 2013-04-10 23:57:08 -07:00
Search-a-list new files 2013-04-10 12:38:42 -07:00
Shell-one-liner all tasks 2013-04-11 01:07:29 -07:00
Sierpinski-triangle all tasks 2013-04-11 01:07:29 -07:00
Sieve-of-Eratosthenes all tasks 2013-04-11 01:07:29 -07:00
Singly-linked-list-Element-definition all tasks 2013-04-11 01:07:29 -07:00
Singly-linked-list-Element-insertion all tasks 2013-04-11 01:07:29 -07:00
Singly-linked-list-Traversal all tasks 2013-04-11 01:07:29 -07:00
Sort-an-array-of-composite-structures all tasks 2013-04-11 01:07:29 -07:00
Sorting-algorithms-Bubble-sort all tasks 2013-04-11 01:07:29 -07:00
Sorting-algorithms-Insertion-sort all tasks 2013-04-11 01:07:29 -07:00
Sorting-algorithms-Merge-sort all tasks 2013-04-11 01:07:29 -07:00
Sorting-algorithms-Quicksort all tasks 2013-04-11 01:07:29 -07:00
Stem-and-leaf-plot all tasks 2013-04-11 01:07:29 -07:00
Substring-Top-and-tail all tasks 2013-04-11 01:07:29 -07:00
Sum-and-product-of-an-array all tasks 2013-04-11 01:07:29 -07:00
Sum-of-a-series all tasks 2013-04-11 01:07:29 -07:00
Sum-of-squares all tasks 2013-04-11 01:07:29 -07:00
Terminal-control-Display-an-extended-character all tasks 2013-04-11 01:07:29 -07:00
Test-a-function all tasks 2013-04-11 01:07:29 -07:00
Time-a-function all tasks 2013-04-11 01:07:29 -07:00
Tokenize-a-string all tasks 2013-04-11 01:07:29 -07:00
Tree-traversal all tasks 2013-04-11 01:07:29 -07:00
Trigonometric-functions all tasks 2013-04-11 01:07:29 -07:00
Unicode-variable-names all tasks 2013-04-11 01:07:29 -07:00
Variadic-function all tasks 2013-04-11 01:07:29 -07:00

README 

Data source: http://rosettacode.org/wiki/Category:ACL2