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))
近期下载者:
相关文件:
收藏者: