Title | Description |
---|---|
Algorithms in Haskell | Algorithmic implentations in Haskell. |
Property-based testing in Haskell's QuickCheck |
|
Virtual machines | Using GNU C extensions and [these techniques] to eliminate branch prediction overhead (https://courses.softlab.ntua.gr/pl2/2009b/slides/vm.pdf), there are implemented interpreters for:
|
Garbage collector | It is integrated with the interpreter for bytecode language. Algorithms and techniques used for gc:
|
Axiomatic semantics | For program verification in C programming language, Frama-C is used. There are verified two algorithms' implementations:
|
Type inference in Haskell | Type inference a la Hidney-Milner for the simply-typed lambda calculus. |
Denotational semantics | Implementation of denotational_semantics for two small languages in Haskell:
|
Scripting Languages | Implementation of websites, which host a game, with PHP and client-side scripting with Python for playing and winning the game. |
-
Notifications
You must be signed in to change notification settings - Fork 0
Programming Languages
License
pbougou/proglangs
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Programming Languages
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published