RosettaCodeData/Lang/ACL2
Ingy döt Net f23f22d71c Initial data commit 2023-07-01 13:44:08 -04:00
..
00-LANG.txt Initial data commit 2023-07-01 13:44:08 -04:00
00-META.yaml Initial data commit 2023-07-01 13:44:08 -04:00
100-doors Initial data commit 2023-07-01 13:44:08 -04:00
Apply-a-callback-to-an-array Initial data commit 2023-07-01 13:44:08 -04:00
Arbitrary-precision-integers-included- Initial data commit 2023-07-01 13:44:08 -04:00
Arithmetic-Integer Initial data commit 2023-07-01 13:44:08 -04:00
Array-concatenation Initial data commit 2023-07-01 13:44:08 -04:00
Arrays Initial data commit 2023-07-01 13:44:08 -04:00
Averages-Arithmetic-mean Initial data commit 2023-07-01 13:44:08 -04:00
Binary-digits Initial data commit 2023-07-01 13:44:08 -04:00
Binary-search Initial data commit 2023-07-01 13:44:08 -04:00
Bitwise-operations Initial data commit 2023-07-01 13:44:08 -04:00
Character-codes Initial data commit 2023-07-01 13:44:08 -04:00
Comments Initial data commit 2023-07-01 13:44:08 -04:00
Compound-data-type Initial data commit 2023-07-01 13:44:08 -04:00
Conways-Game-of-Life Initial data commit 2023-07-01 13:44:08 -04:00
Dot-product Initial data commit 2023-07-01 13:44:08 -04:00
Empty-string Initial data commit 2023-07-01 13:44:08 -04:00
Enforced-immutability Initial data commit 2023-07-01 13:44:08 -04:00
Enumerations Initial data commit 2023-07-01 13:44:08 -04:00
Ethiopian-multiplication Initial data commit 2023-07-01 13:44:08 -04:00
Evaluate-binomial-coefficients Initial data commit 2023-07-01 13:44:08 -04:00
Factors-of-an-integer Initial data commit 2023-07-01 13:44:08 -04:00
Fibonacci-n-step-number-sequences Initial data commit 2023-07-01 13:44:08 -04:00
Fibonacci-sequence Initial data commit 2023-07-01 13:44:08 -04:00
File-input-output Initial data commit 2023-07-01 13:44:08 -04:00
Filter Initial data commit 2023-07-01 13:44:08 -04:00
Find-limit-of-recursion Initial data commit 2023-07-01 13:44:08 -04:00
FizzBuzz Initial data commit 2023-07-01 13:44:08 -04:00
Flatten-a-list Initial data commit 2023-07-01 13:44:08 -04:00
Function-definition Initial data commit 2023-07-01 13:44:08 -04:00
Function-frequency Initial data commit 2023-07-01 13:44:08 -04:00
Generic-swap Initial data commit 2023-07-01 13:44:08 -04:00
Greatest-common-divisor Initial data commit 2023-07-01 13:44:08 -04:00
Greatest-element-of-a-list Initial data commit 2023-07-01 13:44:08 -04:00
Hailstone-sequence Initial data commit 2023-07-01 13:44:08 -04:00
Happy-numbers Initial data commit 2023-07-01 13:44:08 -04:00
Hello-world-Newline-omission Initial data commit 2023-07-01 13:44:08 -04:00
Hello-world-Text Initial data commit 2023-07-01 13:44:08 -04:00
Horners-rule-for-polynomial-evaluation Initial data commit 2023-07-01 13:44:08 -04:00
Include-a-file Initial data commit 2023-07-01 13:44:08 -04:00
Knuth-shuffle Initial data commit 2023-07-01 13:44:08 -04:00
Letter-frequency Initial data commit 2023-07-01 13:44:08 -04:00
Logical-operations Initial data commit 2023-07-01 13:44:08 -04:00
Loop-over-multiple-arrays-simultaneously Initial data commit 2023-07-01 13:44:08 -04:00
Loops-Foreach Initial data commit 2023-07-01 13:44:08 -04:00
Loops-Infinite Initial data commit 2023-07-01 13:44:08 -04:00
Loops-N-plus-one-half Initial data commit 2023-07-01 13:44:08 -04:00
Luhn-test-of-credit-card-numbers Initial data commit 2023-07-01 13:44:08 -04:00
Mandelbrot-set Initial data commit 2023-07-01 13:44:08 -04:00
Map-range Initial data commit 2023-07-01 13:44:08 -04:00
Matrix-transposition Initial data commit 2023-07-01 13:44:08 -04:00
Mutual-recursion Initial data commit 2023-07-01 13:44:08 -04:00
Non-decimal-radices-Convert Initial data commit 2023-07-01 13:44:08 -04:00
One-dimensional-cellular-automata Initial data commit 2023-07-01 13:44:08 -04:00
Palindrome-detection Initial data commit 2023-07-01 13:44:08 -04:00
Pangram-checker Initial data commit 2023-07-01 13:44:08 -04:00
Pick-random-element Initial data commit 2023-07-01 13:44:08 -04:00
Playing-cards Initial data commit 2023-07-01 13:44:08 -04:00
Primality-by-trial-division Initial data commit 2023-07-01 13:44:08 -04:00
Prime-decomposition Initial data commit 2023-07-01 13:44:08 -04:00
Queue-Definition Initial data commit 2023-07-01 13:44:08 -04:00
Quine Initial data commit 2023-07-01 13:44:08 -04:00
Real-constants-and-functions Initial data commit 2023-07-01 13:44:08 -04:00
Remove-duplicate-elements Initial data commit 2023-07-01 13:44:08 -04:00
Return-multiple-values Initial data commit 2023-07-01 13:44:08 -04:00
Reverse-a-string Initial data commit 2023-07-01 13:44:08 -04:00
Rot-13 Initial data commit 2023-07-01 13:44:08 -04:00
Search-a-list Initial data commit 2023-07-01 13:44:08 -04:00
Shell-one-liner Initial data commit 2023-07-01 13:44:08 -04:00
Sierpinski-triangle Initial data commit 2023-07-01 13:44:08 -04:00
Sieve-of-Eratosthenes Initial data commit 2023-07-01 13:44:08 -04:00
Singly-linked-list-Element-definition Initial data commit 2023-07-01 13:44:08 -04:00
Singly-linked-list-Element-insertion Initial data commit 2023-07-01 13:44:08 -04:00
Singly-linked-list-Traversal Initial data commit 2023-07-01 13:44:08 -04:00
Sort-an-array-of-composite-structures Initial data commit 2023-07-01 13:44:08 -04:00
Sorting-algorithms-Bubble-sort Initial data commit 2023-07-01 13:44:08 -04:00
Sorting-algorithms-Insertion-sort Initial data commit 2023-07-01 13:44:08 -04:00
Sorting-algorithms-Merge-sort Initial data commit 2023-07-01 13:44:08 -04:00
Sorting-algorithms-Quicksort Initial data commit 2023-07-01 13:44:08 -04:00
Stem-and-leaf-plot Initial data commit 2023-07-01 13:44:08 -04:00
Substring-Top-and-tail Initial data commit 2023-07-01 13:44:08 -04:00
Sum-and-product-of-an-array Initial data commit 2023-07-01 13:44:08 -04:00
Sum-of-a-series Initial data commit 2023-07-01 13:44:08 -04:00
Sum-of-squares Initial data commit 2023-07-01 13:44:08 -04:00
Terminal-control-Display-an-extended-character Initial data commit 2023-07-01 13:44:08 -04:00
Test-a-function Initial data commit 2023-07-01 13:44:08 -04:00
Time-a-function Initial data commit 2023-07-01 13:44:08 -04:00
Tokenize-a-string Initial data commit 2023-07-01 13:44:08 -04:00
Tree-traversal Initial data commit 2023-07-01 13:44:08 -04:00
Trigonometric-functions Initial data commit 2023-07-01 13:44:08 -04:00
Unicode-variable-names Initial data commit 2023-07-01 13:44:08 -04:00
Variadic-function Initial data commit 2023-07-01 13:44:08 -04:00