-
The Rust Programming Language: Rust, a programming language focused on memory safety without sacrificing speed.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
Simple Directmedia Layer: a library that offers low-level access to resources like audio, video graphics, joystick, keyboard, mouse. It is mainly used for the development of video games (Stepmania and Valve's games such as Counter Strike: Source, as some examples).
-
Simple Directmedia Layer: a library that offers low-level access to resources like audio, video graphics, joystick, keyboard, mouse. It is mainly used for the development of video games (Stepmania and Valve's games such as Counter Strike: Source, as some examples).
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
The Nim Programming Language: Nim, a programming language that offers several features from languages like Python, Ada, and Modula, while also retaining the speed of languages like C and C++. One of the most interesting features of Nim is the capability of metaprogramming, since it lets you modify the Abstract Syntax Tree of a program, a feature that is more powerful than C's preprocessor.
-
VisualFSharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
The F# Programming Language: I consider F# as the functional-oriented sibling of C#. This language offers a nice introduction to statically-typed functional programming. It offers a really nice ML-like syntax, as well as some features like type providers (a way to define a schema for data such as a database table, JSON file, etc.).
-
SQLite: SQLite is an SQL implementation of an embeddable database; to be more clear, instead of having a database running as a program on a computer that listens for connections, queries, and the like, it is instead a database that can be part of the application itself. Thus, a program that stores data can make use of SQLite to deal with the management of such data, while still being lightweight since it doesn't have all of the baggage that a normal RDBMS has. I like the way the SQLite team puts it:
-
The Legend of Zelda: Ocarina of Time decompilation: this project gets the machine code found in the original cartridge of the game and translates it to C code. While it does not involve the heavy process that software development has, it is an entertaining process if one enjoys retro gaming.
-
Citra: Nintendo 3DS emulator: An emulator that tries to replicate the capabilities of the Nintendo 3DS console.
-
Project64: Nintendo 64 emulator: An emulator that tries to replicate the capabilities of the Nintendo 64 console.
-
Emacs: Emacs, the text editor that can work as an operating system, also caught my interest after I started to use and learn about it. Emacs' philosophy to be as extendable as possible is what inspired me first to get more involved in open source and customize what I had access to. Keep in mind that this is not the original repository.
-
Program verification, as a rough description, is about creating a program that can verify another program's behaviour. The way a user might verify the behaviour of a program is by constructing a mathematical proof on how the program behaves. This is a really interesting field for mathematically-inclined programmers. Also, this can be considered a form of quality assurance. It does not replace automated or manual testing, but instead gives more guarantees that the code works as it should. The project that I am interested on is F*.
