Michel Bøje Randahl Nielsen's repositories
talk-to-neovim-from-fsharp
investigating how to communicate with neovim from a dotnet core f# project
MiniModelGenerator
Model generator for generating train interlocking models to be model checked
Prolog-stuff
arbitrary useful prolog programs/parts.
CodeEvalSolutions
my solutions to code-eval challenges
Data-mining-stuff
arbitrary python data mining scripts
docker-lein
Docker container to run leinigen
dotnetcore-fsharp-asp
example asp application using dotnet-core with fsharp
FSharp-HTMLProvider-example
small example of how to use the F# HTML type provider
FSharpUnitTestExampleProject
Example F# unit test project setup in linux + mono
Idris-dev
A Dependently Typed Functional Programming Language
idris-vim
Idris mode for vim
linkedin-job-processing
analysis of the linkedin jobs
metronome
Web Audio metronome example to show scheduling.
PropertyBasedTesting
A simple property based testing project setup
python-distributed-system
fault tolerant distributed data replication system prototype
scala
random scala stuff
software-foundations
Software Foundations in Idris
wiki
Unofficial Nixos wiki