prog

所属分类:collect
开发工具:OCaml
文件大小:0KB
下载次数:0
上传日期:2023-02-20 12:36:06
上 传 者sh-1993
说明:  编程讲稿(已放弃)
(Programming Lecture Notes (abandoned))

文件列表:
prog1/ (0, 2023-02-20)
prog1/working-with-arrays.ml (4689, 2023-02-20)
prog1/working-with-data-structures.ml (4636, 2023-02-20)
prog1/working-with-iteration.ml (1847, 2023-02-20)
prog1/working-with-lists.ml (8412, 2023-02-20)
prog1/working-with-parsers.ml (7604, 2023-02-20)
prog1/working-with-running-times.ml (631, 2023-02-20)
prog1/working-with-trees.ml (8168, 2023-02-20)
prog2/ (0, 2023-02-20)
prog2/2048/ (0, 2023-02-20)
prog2/2048/check_victory.asm (579, 2023-02-20)
prog2/2048/complete_move.asm (925, 2023-02-20)
prog2/2048/merge.asm (1576, 2023-02-20)
prog2/2048/move_check.asm (1312, 2023-02-20)
prog2/2048/move_left.asm (535, 2023-02-20)
prog2/2048/move_one.asm (1554, 2023-02-20)
prog2/2048/place.asm (644, 2023-02-20)
prog2/2048/printboard.asm (3375, 2023-02-20)
prog2/scripts/ (0, 2023-02-20)
prog2/scripts/convert_ppm.sh (439, 2023-02-20)
** (187, 2023-02-20)
prog2/seamcarving/ (0, 2023-02-20)
prog2/testing-asm-words.asm (135, 2023-02-20)
training/ (0, 2023-02-20)
training/important_functions.ml (3390, 2023-02-20)
training/list.ml (2637, 2023-02-20)
training/mutable.ml (1654, 2023-02-20)
training/parser.ml (3207, 2023-02-20)
training/sort.ml (1664, 2023-02-20)
training/tree.ml (1406, 2023-02-20)

# Prog - Lecture Notes Working with OCaml, Assembler, C and others... This repository was started and is maintained during lectures ## Abandoned This repository is abandoned! Missing projects will not be supplemented and existing ones will not be fixed/updated. Repositories, associated with the programming lecture, that might interest you instead: - [Simp by @edd255](https://github.com/edd255/simp) - [Mocaml by @edd255](https://github.com/edd255/mocaml) - [miniOCaml-interpreter by @JoeJoeTV](https://github.com/JoeJoeTV/miniOCaml-interpreter) Other work that might interest you, including mine: - [Olive.c by @tsoding](https://github.com/tsoding/olive.c) - [QuickyPHP by @david-prv](https://github.com/david-prv/quickyphp) - [Pixle by @KoolerNolan](https://github.com/KoolerNolan/pixle) ## Table of contents ### Programming 1 1. [OCaml: Working with iteration](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-iteration.ml): first, iter, fst, successor, predecessor, quantors, eveness, primes, fibonacci, ... 2. [OCaml: Working with lists](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-lists.ml): converting to decimal numbers and vice versa, hashmaps, optional types, flatten, filter, zip, folding, insertion sorting, generalized matching, list operations, ... 3. [OCaml: Working with trees](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-trees.ml): implementation of data type ``tree``, depth, breadth, tree generation, balanced trees, traversal types (infix, postfix, prefix), abstract expressions (grammar), algorithmic checking for free variables in abstract expressions... 4. [OCaml: Working with parsers](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-parsers.ml): Lexing, Parsing, Associativity, Precedences, Linearizations ... 5. [OCaml: Working with running times](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-running-times.ml): Experimenting with running times, Big-O, recursive defined running time (= r(n) ), ... 6. [OCaml: Working with arrays](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-arrays.ml): array structures, sequences, new modern algos, mutable variable types, ... 7. [OCaml: Working with data structures](https://github.com/david-prv/ocaml/blob/main/prog1/working-with-data-structures.ml): module types, signatures, modules, enumerations, cells, ... ### Programming 2 1. [MIPS: 2048](https://github.com/david-prv/prog/tree/main/prog2/2048): MIPS ASM based 2048 implementation 2. [C: Seamcarving](https://github.com/david-prv/prog/tree/main/prog2/seamcarving): C based Steamcarving implementation 3. [MIPS: Testing ASM Words](https://github.com/david-prv/prog/tree/main/prog2/testing-asm-words.asm): I played around with data segment words and syscalls ... 4. [Java: URI Parser](#): Simple parser for a simplified URI grammer 5. [Java: Tetris](#): Idk what to say about Tetris... It's Tetris lol ## Projects ### OCaml - Mini OCaml Interpreter Interpreter, Parser and Lexer for OCaml Sublanguage "Mini OCaml" [check it out](https://github.com/david-prv/mini-ocaml) ### MIPS - 2048 A 2048 implementation, written in MIPS Assembly. We only had to develop subroutines. [check it out](https://github.com/david-prv/prog/tree/main/prog2/2048) ### C - Seamcarving A Seamcarving Algorithm Implementation, written in C. Again, we only had to implement some functionalities, not the whole thing. [check it out](https://github.com/david-prv/prog/tree/main/prog2/steamcarving) ### Java - URI Parser Simple parser for a simplified URI grammer in Java. This time, we had to implement Unit Tests AND the Parser itself (almost without any given snippets). [check it out](#) ### Java - Tetris *work in progress* ## Further reading - Programming Systems Lab - University of Saarland ([Git](https://github.com/uds-psl)) - Wikipedia ([article](https://de.wikipedia.org/wiki/Objective_CAML)) - OCaml Manual ([web](https://ocaml.org/releases/4.13/htmlman/index.html)) - SML Alice ([manual](https://www.ps.uni-saarland.de/alice/manual/)) - Mini-Ocaml Interpreter ([GitHub Repo](https://github.com/david-prv/mini-ocaml))

近期下载者

相关文件


收藏者