Danny Betancourt's Projects
Alpine-based Docker images with fresh Mercury compilers and companion tools
Config files for my GitHub profile.
occam-pi 3D boids simulation using a GPU (CUDA)
a Productive Parallel Programming Language
CircuitPython - a Python implementation for teaching coding with microcontrollers
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Research language for array processing in the Haskell/ML family
A collection of Master XDC files for Digilent FPGA and Zynq boards.
"Official" GitHub repository for a docker container called doccam
Erlang Actor Library for Embedded -- An embedded framework from Erlang Solutions
fastfilter: Binary fuse & xor filters for Zig (faster and smaller than bloom filters)
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
The Kent Retargetable occam Compiler
MorePurpleMoreBetter's D&D 5e Character Record Sheet
An NES emulator written in Go
API Sample for Nology
The occ21 compiler and tools needed for compiling occam programs.
collection of occam-pi experiments on Raspberry Pi
Code from various chapters in OSTEP (http://www.ostep.org)
Projects for an undergraduate OS course
Command-line and GUI clients for a server-side occam-pi compiler.
A much simpler attempt at remote compilation.
The Transterpreter Virtual Machine (TVM) and wrappers.
An occam library for working with PLC-inspired process networks.
Some simple examples for new Prolog programmers
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
A collection of useful and interesting snippets I've picked up over the years
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent